Safe control and estimation with coarse measurements

#IEEECSSDay #Systems #Control
Share

Interpreting visual signals introduces both challenges and opportunities in the design of control and autonomous systems. This talk will explore two key concepts that address these challenges. In the first part, I will introduceperception contracts—an innovative approach to analyzing visual control systems that rely on Deep Neural Networks for state estimation. A perception contract provides an over-approximation of a state estimator while guaranteeing closed-loop system invariants. These contracts can be automatically synthesized using data and model-based analysis and have been successfully applied to systems such as automated landing controllers and lane-keeping systems. The second part of the talk will focus on algorithms for computing indistinguishable sets—sets of states that cannot be distinguished based on available visual data. These sets help define the theoretical limits of visual control, revealing the boundaries of what can be achieved with coarse measurements in dynamic environments. Throughout the talk, I will mention various examples, highlight the tools available, and discuss open problems that invite further exploration in this area.

 



  Date and Time

  Location

  Hosts

  Registration



  • Date: 24 Oct 2024
  • Time: 07:00 PM to 08:00 PM
  • All times are (UTC+05:30) Chennai
  • Add_To_Calendar_icon Add Event to Calendar
If you are not a robot, please complete the ReCAPTCHA to display virtual attendance info.
  • Contact Event Host


  Speakers

Sayan Mitra of University of Illinois at Urbana Champaign

Topic:

Safe control and estimation with coarse measurements

Interpreting visual signals introduces both challenges and opportunities in the design of control and autonomous systems. This talk will explore two key concepts that address these challenges. In the first part, I will introduceperception contracts—an innovative approach to analyzing visual control systems that rely on Deep Neural Networks for state estimation. A perception contract provides an over-approximation of a state estimator while guaranteeing closed-loop system invariants. These contracts can be automatically synthesized using data and model-based analysis and have been successfully applied to systems such as automated landing controllers and lane-keeping systems. The second part of the talk will focus on algorithms for computing indistinguishable sets—sets of states that cannot be distinguished based on available visual data. These sets help define the theoretical limits of visual control, revealing the boundaries of what can be achieved with coarse measurements in dynamic environments. Throughout the talk, I will mention various examples, highlight the tools available, and discuss open problems that invite further exploration in this area.

 

Biography:

Sayan Mitra is a Professor, Associate Head of Graduate Affairs, and John Bardeen Faculty Scholar of ECE at UIUC. His research is on safe autonomy. His research group develops theory, algorithms, and tools for control synthesis and verification. Some of these have been patented and are being commercialized. Sayan received his PhD from MIT with Nancy Lynch. His textbook on verification of cyber-physical systems was published by MIT press in 2021. The group's work has been recognized with NSF CAREER Award, AFOSR Young Investigator Research Program Award, ACM SRC gold prize, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), Siebel Fellowship, and several best paper awards.