Tichakorn Wongpiromsarn, Ph.D.
Affiliations: | 2010 | Mechanical Engineering | California Institute of Technology, Pasadena, CA |
Google:
"Tichakorn Wongpiromsarn"Mean distance: 25.02 | S | N | B | C | P |
Parents
Sign in to add mentorRichard M. Murray | grad student | 2010 | Caltech | |
(Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Wongpiromsarn T, Topcu U, Lamperski A. (2016) Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems Ieee Transactions On Automatic Control. 61: 3344-3355 |
Gregoire J, Qian X, Frazzoli E, et al. (2015) Capacity-aware backpressure traffic signal control Ieee Transactions On Control of Network Systems. 2: 164-173 |
Raman V, Falt M, Wongpiromsarn T, et al. (2015) Online horizon selection in receding horizon temporal logic planning Ieee International Conference On Intelligent Robots and Systems. 2015: 3493-3499 |
Gregoire J, Frazzoli E, De La Fortelle A, et al. (2014) Back-pressure traffic signal control with unknown routing rates Ifac Proceedings Volumes (Ifac-Papersonline). 19: 11332-11337 |
Ulusoy A, Wongpiromsarn T, Belta C. (2014) Incremental controller synthesis in probabilistic environments with temporal logic constraints International Journal of Robotics Research. 33: 1130-1144 |
Mitra S, Wongpiromsarn T, Murray RM. (2013) Verifying cyber-physical interactions in safety-critical systems Ieee Security and Privacy. 11: 28-37 |
Wongpiromsarn T, Ulusoy A, Belta C, et al. (2013) 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 |
Wongpiromsarn T, Mitra S, Lamperski A, et al. (2012) Verification of periodically controlled hybrid systems: Application to an autonomous vehicle Transactions On Embedded Computing Systems. 11 |
Wongpiromsarn T, Topcu U, Murray RM. (2012) Receding horizon temporal logic planning Ieee Transactions On Automatic Control. 57: 2817-2830 |
Wongpiromsarn T, Frazzoli E. (2012) Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 7644-7651 |