Research

From u-t-autonomous.info
Revision as of 19:36, 17 July 2015 by Utopcu (Talk | contribs) (Created page with "==Overview== My group's research is on the design and verification of autonomous, networked systems. The central question is how we can build provably correct (by synthesis o...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Overview

My group's research is on the design and verification of autonomous, networked systems. The central question is how we can build provably correct (by synthesis or by verification) protocol-based control systems. Our work often builds on 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