Difference between revisions of "Research"

From u-t-autonomous.info
Jump to: navigation, search
(Ongoing)
(One intermediate revision by one other user not shown)
Line 10: Line 10:
 
* [[Seed: Correct-By-Construction Autonomy Protocols for Open, Reconfigurable, Networked Naval Systems]] (ONR)
 
* [[Seed: Correct-By-Construction Autonomy Protocols for Open, Reconfigurable, Networked Naval Systems]] (ONR)
 
* [[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)
* [[Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems]] (AFRL, RV)
 
 
* [[Risk-Aware, Human-Cooperative Planning for Autonomous Systems]] (ONR, subcontract from JPL)
 
* [[Risk-Aware, Human-Cooperative Planning for Autonomous Systems]] (ONR, subcontract from JPL)
 
* [[Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control]] (NSF, CPS)
 
* [[Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control]] (NSF, CPS)
Line 16: Line 15:
 
* [[Perception-Based, Reactive, Temporal-Logic Planning For Autonomous Deck Operations]] (ONR)
 
* [[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)
 
* [[Architectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids]] (NSF, CPS)
 +
* [[Data-Driven Cyberphysical Systems]] (NSF, CPS)
  
 
===Completed===
 
===Completed===
  
 +
* [[Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems]] (AFRL, RV)
 
* [[Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems]] (AFOSR, YIP)
 
* [[Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems]] (AFOSR, YIP)

Revision as of 22:52, 9 November 2017

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---and 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