Hybrid Control Systems Lab


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

Team

Current collaborators:
The research in the lab is supported through:

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).
    Abstract BiB PS PDF

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

  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.
    Abstract BiB PS PDF

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

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.
    Abstract BiB PS PDF

  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.
    Abstract BiB PS PDF

  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.
    Abstract BiB PS PDF

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.
    Abstract BiB PS PDF

  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.
    Abstract BiB PS PDF

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.
    Abstract BiB PS PDF

  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.
    Abstract BiB PS PDF

  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.
    Abstract BiB PS PDF

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