Follow
Tichakorn Wongpiromsarn
Title
Cited by
Cited by
Year
Receding horizon temporal logic planning
T Wongpiromsarn, U Topcu, RM Murray
IEEE Transactions on Automatic Control 57 (11), 2817-2830, 2012
3052012
Receding horizon control for temporal logic specifications
T Wongpiromsarn, U Topcu, RM Murray
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
2362010
TuLiP: a software toolbox for receding horizon temporal logic planning
T Wongpiromsarn, U Topcu, N Ozay, H Xu, RM Murray
Proceedings of the 14th international conference on Hybrid systems …, 2011
2232011
Distributed traffic signal control for maximum network throughput
T Wongpiromsarn, T Uthaicharoenpong, Y Wang, E Frazzoli, D Wang
2012 15th international IEEE conference on intelligent transportation …, 2012
2092012
Capacity-aware backpressure traffic signal control
J Gregoire, X Qian, E Frazzoli, A De La Fortelle, T Wongpiromsarn
IEEE Transactions on Control of Network Systems 2 (2), 164-173, 2014
1542014
Receding horizon temporal logic planning for dynamical systems
T Wongpiromsarn, U Topcu, RM Murray
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
1542009
Correct, reactive, high-level robot control
H Kress-Gazit, T Wongpiromsarn, U Topcu
IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011
1422011
Liability, ethics, and culture-aware behavior specification using rulebooks
A Censi, K Slutsky, T Wongpiromsarn, D Yershov, S Pendleton, J Fu, ...
2019 International Conference on Robotics and Automation (ICRA), 8536-8542, 2019
922019
Autonomous personal vehicle for the first-and last-mile transportation services
ZJ Chong, B Qin, T Bandyopadhyay, T Wongpiromsarn, ES Rankin, ...
2011 IEEE 5th International Conference on Cybernetics and Intelligent …, 2011
892011
Autonomy for mobility on demand
ZJ Chong, B Qin, T Bandyopadhyay, T Wongpiromsarn, B Rebsamen, ...
2012 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2012
842012
Back-pressure traffic signal control with unknown routing rates
J Gregoire, E Frazzoli, A de La Fortelle, T Wongpiromsarn
IFAC Proceedings Volumes 47 (3), 11332-11337, 2014
722014
Verifying cyber-physical interactions in safety-critical systems
S Mitra, T Wongpiromsarn, RM Murray
IEEE Security & Privacy 11 (4), 28-37, 2013
592013
Synthesis of control protocols for autonomous systems
T Wongpiromsarn, U Topcu, RM Murray
Unmanned Systems 1 (01), 21-39, 2013
512013
Distributed synthesis of control protocols for smart camera networks
N Ozay, U Topcu, RM Murray, T Wongpiromsarn
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 45-54, 2011
502011
Distributed consensus in noncooperative congestion games: An application to road pricing
X Wang, N Xiao, T Wongpiromsarn, L Xie, E Frazzoli, D Rus
2013 10th IEEE International Conference on Control and Automation (ICCA …, 2013
492013
Incremental controller synthesis in probabilistic environments with temporal logic constraints
A Ulusoy, T Wongpiromsarn, C Belta
The International Journal of Robotics Research 33 (8), 1130-1144, 2014
462014
Formal methods for design and verification of embedded control systems: application to an autonomous vehicle
T Wongpiromsarn
California Institute of Technology, 2010
422010
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
T Wongpiromsarn, A Ulusoy, C Belta, E Frazzoli, D Rus
2013 IEEE International Conference on Robotics and Automation, 5011-5018, 2013
402013
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
T Wongpiromsarn, E Frazzoli
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7644-7651, 2012
402012
Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems
T Wongpiromsarn, U Topcu, A Lamperski
IEEE Transactions on Automatic Control 61 (11), 3344-3355, 2015
362015
The system can't perform the operation now. Try again later.
Articles 1–20