Revision as of 01:37, 12 April 2021 by Utopcu (Talk | contribs)

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


My group’s work is on the theoretical and algorithmic aspects of design and verification of autonomous systems. It embraces the fact that autonomy does not fit traditional disciplinary boundaries, and has made numerous contributions in the intersection of formal methods, controls and learning:
  • Formal methods + controls: The methods we have developed address automated synthesis of control protocols that rely on integration of physical laws and software principles to serve in adversarial environments subject to rich temporal-logic-like specifications.
  • Learning + formal methods: The central question is how we can develop autonomy protocols that not only learn from their interactions with the environment and users but also provably satisfy high-level safety and performance specifications.
  • Controls + learning: The main question is how we can guarantee safety and robustness feedback control systems that integrate learning-enable components, e.g., classifiers, in the loop.

In addition to the applications in aerial and ground vehicles (and robots), we interpret autonomy broadly with other emerging applications in networks on large-scale aerospace systems and additive manufacturing.