My group's research is on the design and verification of autonomous, networked systems. The central question we tackle is how we can build provably correct (by synthesis or by verification) protocol-based control systems. Our work merges---often extends---ideas from controls, formal methods and learning. The motivating applications stem mainly from autonomous vehicles and robots as well as autonomous decision-making in cyberphysical networks.
- Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems (AFRL, RV)
- Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems (AFRL, RQ)
- Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control (NSF, CPS)
- Perception-Based, Reactive, Temporal-Logic Planning For Autonomous Deck Operations (ONR)
- Architectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids (NSF, CPS)