The broad goal of the lab is to investigate algorithms for hybrid control system design and analysis. The lab investigates hybrid control systems --- systems that exhibit mixed discrete continuous behaviors --- that arise in the control of automotive, aerospace and robotic systems. Particular emphasis is given to the development of rigorous and automated methods for analysis (formal verification) and design (formal synthesis).

Current Research Projects

• Algorithmic Verification of Stability ( AVERIST )
• Bounded Error Approximate Verification ( BEAVER )
• Hybrid Abstraction Refinement ( HARE )
• Formal Synthesis of Hybrid Controllers

Team

• Miriam Garcia Soto (PhD student, started Fall 2012)
• Ratan Lal (PhD student, started Fall 2014)
• Yuanting Chen (PhD student, started Fall 2016)

Current collaborators:

• Prof. John Hatcliff (CS, KSU)
• Yoke Peng Leong (CDS, Caltech)
• Prof. Jun Liu (App. Math, U Waterloo, Canada)
• Dr. Scott Livingston (Nutonomy, USA)
• Prof. Bala Natarajan (ECE, KSU)
• Prof. Robby (CS, KSU)
• Prof. Ajay Sharda (BAE, KSU)
• Prof. Mahesh Viswanathan
• Wenji Zhang (ECE, KSU)

The research in the lab is supported through:

• NSF CAREER Award for "Robust Verification of Cyber-Physical Systems"
• EU FP7 Marie Curie Career Integration Grant

Algorithmic Verification of Stability

(See the AVERIST project page for more details)

1. Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid.
   Pavithra Prabhakar and Miriam García Soto.
   International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
   


2. An algorithmic approach to stability verification of polyhedral switched systems.
   Pavithra Prabhakar and Miriam García Soto.
   Americal Control Conference (ACC), 2014.
   


3. Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
   Pavithra Prabhakar, Jun Liu and Richard M. Murray.
   International Conference on Embedded Software (EMSOFT), 2013.
   


4. Pre-orders for reasoning about stability.
   Pavithra Prabhakar, Geir E. Dullerud and Mahesh Viswanathan.
   Hybrid Systems: Computation and Control (HSCC), 2012.
   

Bounded Error Approximate Verification

(See the BEAVER project page for more details)

1. Bounded error flowpipe computation of parameterized linear systems.
   Ratan Lal and Pavithra Prabhakar.
   International Conference on Embedded Software (EMSOFT), 2015.
   


2. A dynamic algorithm for approximate flow computations.
   Pavithra Prabhakar and Mahesh Viswanathan.
   14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2011.
   


3. Verifying Tolerant Systems Using Polynomial Approximations.
   Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir E. Dullerud.
   30th IEEE Real-Time Systems Symposium (RTSS), 2009.
   

Hybrid Abstraction Refinement

(See the HARE project page for more details)

1. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.
   Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan.
   Formal Methods in System Design (FMSD), 2015.
   


2. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.
   Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan.
   Verification, Model Checking, and Abstract Interpretation, 14th International Conference (VMCAI), 2013.
   

Formal Synthesis of Hybrid Controllers

1. Specifications for decidable hybrid games.
   Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
   Theoretical Computer Science (TCS), 2011.
   


2. Patching task-level robot controllers based on a local -calculus formula.
   Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray.
   IEEE International Conference on Robotics and Automation (ICRA), 2013.
   


3. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems.
   Necmiye Ozay, Jun Liu, Pavithra Prabhakar and Richard M. Murray.
   American Control Conference (ACC), 2013.
   


4. STORMED Hybrid Games.
   Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
   Hybrid Systems: Computation and Control, 12th International Conference (HSCC), 2009.