☰

Tichakorn Wongpiromsarn, Ph.D. - Publications

Affiliations: 
2010 Mechanical Engineering California Institute of Technology, Pasadena, CA 
Tree Info Grants Similar researchers Related pubs Distance to... Nearest Nobel PubMed Report error

21 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Wongpiromsarn T, Topcu U, Lamperski A. Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems Ieee Transactions On Automatic Control. 61: 3344-3355. DOI: 10.1109/Tac.2015.2511722  0.37
2015 Gregoire J, Qian X, Frazzoli E, De La Fortelle A, Wongpiromsarn T. Capacity-aware backpressure traffic signal control Ieee Transactions On Control of Network Systems. 2: 164-173. DOI: 10.1109/Tcns.2014.2378871  0.38
2015 Raman V, Falt M, Wongpiromsarn T, Murray RM. Online horizon selection in receding horizon temporal logic planning Ieee International Conference On Intelligent Robots and Systems. 2015: 3493-3499. DOI: 10.1109/IROS.2015.7353864  0.42
2014 Gregoire J, Frazzoli E, De La Fortelle A, Wongpiromsarn T. Back-pressure traffic signal control with unknown routing rates Ifac Proceedings Volumes (Ifac-Papersonline). 19: 11332-11337. DOI: 10.3182/20140824-6-Za-1003.01585  0.372
2014 Ulusoy A, Wongpiromsarn T, Belta C. Incremental controller synthesis in probabilistic environments with temporal logic constraints International Journal of Robotics Research. 33: 1130-1144. DOI: 10.1177/0278364913519000  0.394
2013 Mitra S, Wongpiromsarn T, Murray RM. Verifying cyber-physical interactions in safety-critical systems Ieee Security and Privacy. 11: 28-37. DOI: 10.1109/MSP.2013.77  0.364
2013 Wongpiromsarn T, Ulusoy A, Belta C, Frazzoli E, Rus D. Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications Proceedings - Ieee International Conference On Robotics and Automation. 5011-5018. DOI: 10.1109/ICRA.2013.6631293  0.313
2012 Wongpiromsarn T, Mitra S, Lamperski A, Murray RM. Verification of periodically controlled hybrid systems: Application to an autonomous vehicle Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2331147.2331163  0.562
2012 Wongpiromsarn T, Topcu U, Murray RM. Receding horizon temporal logic planning Ieee Transactions On Automatic Control. 57: 2817-2830. DOI: 10.1109/Tac.2012.2195811  0.544
2012 Wongpiromsarn T, Frazzoli E. Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 7644-7651. DOI: 10.1109/CDC.2012.6426524  0.407
2012 Ulusoy A, Wongpiromsarn T, Belta C. Incremental control synthesis in probabilistic environments with Temporal Logic constraints Proceedings of the Ieee Conference On Decision and Control. 7658-7663. DOI: 10.1109/CDC.2012.6426346  0.406
2011 Wongpiromsarn T, Topcu U, Ozay N, Xu H, Murray RM. TuLiP: A software toolbox for receding horizon temporal logic planning Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 313-314. DOI: 10.1145/1967701.1967747  0.436
2011 Kress-Gazit H, Wongpiromsarn T, Topcu U. Correct, reactive, high-level robot control Ieee Robotics and Automation Magazine. 18: 65-74. DOI: 10.1109/Mra.2011.942116  0.395
2011 Wongpiromsarn T, Karaman S, Frazzoli E. Synthesis of provably correct controllers for autonomous vehicles in urban environments Ieee Conference On Intelligent Transportation Systems, Proceedings, Itsc. 1168-1173. DOI: 10.1109/ITSC.2011.6083056  0.306
2011 Ozay N, Topcu U, Murray RM, Wongpiromsarn T. Distributed synthesis of control protocols for smart camera networks Proceedings - 2011 Ieee/Acm 2nd International Conference On Cyber-Physical Systems, Iccps 2011. 45-54. DOI: 10.1109/ICCPS.2011.22  0.399
2011 Wongpiromsarn T, Topcu U, Murray RM. Formal synthesis of embedded control software: Application to vehicle management systems Aiaa Infotech At Aerospace Conference and Exhibit 2011.  0.472
2010 Wongpiromsarn T, Topcu U, Murray RM. Receding horizon control for temporal logic specifications Hscc'10 - Proceedings of the 13th Acm International Conference On Hybrid Systems: Computation and Control. 101-110. DOI: 10.1145/1755952.1755968  0.514
2010 Wongpiromsarn T, Topcu U, Murray RM. Automatic synthesis of robust embedded control software Aaai Spring Symposium - Technical Report. 104-111.  0.312
2009 Wongpiromsarn T, Topcu U, Murray RM. Receding horizon temporal logic planning for dynamical systems Proceedings of the Ieee Conference On Decision and Control. 5997-6004. DOI: 10.1109/CDC.2009.5399536  0.469
2009 Wongpiromsarn T, Mitra S, Murray RM, Lamperski A. Periodically controlled hybrid systems verifying a controller for an autonomous vehicle Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5469: 396-410. DOI: 10.1007/978-3-642-00602-9_28  0.514
2006 Rao VG, Wongpiromsarn T, Ho T, Chung K, D'Andrea R. Encapsulated Path Planning for Abstraction-Based Control of Multi-Vehicle Systems Proceedings of the American Control Conference. 2006: 2995-3000.  0.424
Show low-probability matches.