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 mentor| Richard 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 |