Difference between revisions of "Research"

From u-t-autonomous.info
Jump to: navigation, search
(Ongoing)
(Projects)
Line 8: Line 8:
 
===Ongoing===
 
===Ongoing===
  
 +
* [[Seed: Correct-By-Construction Autonomy Protocols for Open, Reconfigurable, Networked Naval Systems]] (ONR)
 
* [[Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems]] (AFRL, RV)
 
* [[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)
 
* [[Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems]] (AFRL, RQ)

Revision as of 20:21, 17 July 2015

Overview

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.

Projects

Ongoing

Completed