Research

From u-t-autonomous.info
Revision as of 19:39, 17 July 2015 by Utopcu (Talk | contribs)

Jump to: navigation, search
==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