EECI 2012: Extensions, Applications, Open Questions
| Prev: RHTLP | Course home | Next: Main Page |
This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed.
Lecture Materials
- Lecture slides: Extensions and Open Problems
Further Reading
Reactive Protocols for Aircraft Electric Power Distribution, Huan Xu, Ufuk Topcu, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications, Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).
Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems, Pavithra Prabhakar, Jun Liu and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).
Synthesis of Reactive Control Protocols for Differentially Flat Systems, Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).
Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation, Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray. 2012 International Conference on Robotics and Automation (ICRA).
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty, Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray. Submitted, 2012 International Conf on Hybrid Systems: Computation and Control (HSCC).
Synthesis of Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference.
Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing, Petter Nilsson, Necmiye Özay, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference (ACC).
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications, Eric M. Wolff, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference (ACC).
Distributed Power Allocation for Vehicle Management Systems, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2011 IEEE Conference on Decision and Control (CDC).
