Publications

(2021). Minimum-Violation Traffic Management for Urban Air Mobility. The Thirty-Third Annual Conference on Innovative Applications of Artificial Intelligence.

Project

(2021). Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. 2021 American Control Conference.

Project full version

(2020). Hierarchical Multiobjective Shortest Path Problems. Workshop on the Algorithmic Foundations of Robotics (WAFR).

PDF Project

(2019). Identifying a stopping place for an autonomous vehicle. U.S. Patent 10473470.

(2019). Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. 2019 International Conference on Robotics and Automation (ICRA).

PDF Project Video

(2017). Traffic signal control method and traffic signal controller. U.S. Patent 9601013.

Project

(2016). Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Transactions on Automatic Control.

PDF Project

(2015). Online horizon selection in receding horizon temporal logic planning. 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

PDF Project

(2015). Capacity-Aware Backpressure Traffic Signal Control. IEEE Transactions on Control of Network Systems.

PDF Project

(2014). Road pricing design based on game theory and multi-agent consensus. IEEE/CAA Journal of Automatica Sinica.

PDF Project

(2014). Incremental minimum-violation control synthesis for robots interacting with external agents. 2014 American Control Conference.

PDF Project

(2014). Incremental Controller Synthesis in Probabilistic Environments with Temporal Logic Constraints. International Journal of Robotics Research.

PDF Project

(2014). Back-pressure traffic signal control with unknown routing rates. IFAC Proceedings Volumes.

PDF Project

(2013). Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Security Privacy.

PDF Project

(2013). Synthesis of Control Protocols for Autonomous Systems. Unmanned Systems.

PDF Project

(2013). Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. 2013 IEEE International Conference on Robotics and Automation (ICRA).

PDF Project

(2013). Distributed consensus in noncooperative congestion games: An application to road pricing. 2013 10th IEEE International Conference on Control and Automation (ICCA).

PDF Project

(2013). Average strategy fictitious play with application to road pricing. 2013 American Control Conference.

PDF Project

(2012). Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Transactions on Embedded Computing Systems.

PDF Project full version

(2012). Utilizing the infrastructure to assist autonomous vehicles in a mobility on demand context. TENCON 2012 IEEE Region 10 Conference.

PDF Project

(2012). Road Pricing for Spreading Peak Travel: Modeling and Design. International Conference of Hong Kong Society for Transportation Studies.

PDF Project

(2012). Receding Horizon Temporal Logic Planning. IEEE Transactions on Automatic Control.

PDF Project Video

(2012). Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

PDF Project full version

(2012). Incremental control synthesis in probabilistic environments with Temporal Logic constraints. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

PDF Project

(2012). Distributed traffic signal control for maximum network throughput. 2012 15th International IEEE Conference on Intelligent Transportation Systems.

PDF Project Video

(2012). Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

PDF Project full version

(2012). Autonomy for mobility on demand. 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

PDF Project Video

(2012). Autonomy for mobility on demand. International Conference on Intelligent Autonomous Systems.

PDF Project

(2011). TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning. Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control.

PDF Code Project

(2011). Synthesis of provably correct controllers for autonomous vehicles in urban environments. 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

PDF Project

(2011). Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems. Infotech@Aerospace 2011.

PDF Project

(2011). Distributed Synthesis of Control Protocols for Smart Camera Networks. 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

PDF Project

(2011). Correct, Reactive, High-Level Robot Control. IEEE Robotics Automation Magazine.

PDF Project

(2011). Autonomous personal vehicle for the first- and last-mile transportation services. 2011 IEEE 5th International Conference on Cybernetics and Intelligent Systems (CIS).

PDF Project

(2011). Autonomous Navigation in Crowded Campus Environments. IROS Workshop on Perception and Navigation.

PDF Project

(2010). Receding Horizon Control for Temporal Logic Specifications. Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control.

PDF Project

(2010). Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems.

PDF Project

(2010). A consensus approach to the assignment problem: Application to mobile sensor dispatch. IEEE ICCA 2010.

PDF Project

(2009). Receding horizon temporal logic planning for dynamical systems. Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

PDF Project full version

(2009). Periodically Controlled Hybrid Systems. Hybrid Systems: Computation and Control.

PDF Project full version

(2008). Situational Reasoning for Road Driving in an Urban Environment. International Workshop on Intelligent Vehicle Control Systems (IVCS).

PDF Project

(2008). Distributed Mission and Contingency Management for the DARPA Urban Challenge. International Workshop on Intelligent Vehicle Control Systems (IVCS).

PDF Project

(2007). Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge.

PDF Project Video

(2006). Encapsulated path planning for abstraction-based control of multi-vehicle systems. 2006 American Control Conference.

PDF Project

(2005). Two Approaches to Dynamic Refinement in Hierarchical Motion Planning. AIAA Guidance, Navigation, and Control Conference and Exhibit.

PDF Project