Sign Up

 Recruitment session for the Hybrid Control Systems Lab with lab member Vishnu Murali.

Our lab primarily focuses on formal verification and control of (stochastic) hybrid systems. These systems consist of both continuous dynamics, capturing the behavior of physical systems, and discrete dynamics, capturing the behavior of computational devices. 

Given the versatility and generality of this modeling framework, the methods employed for their analysis and design hold significant promise in numerous safety-critical applications. Notable examples of these applications encompass autonomous cars, autonomous airplanes, transportation networks, chemical processes, critical infrastructures, robotics, healthcare, and more.

  • Partha Pratim Banik
  • Adams Azameti

2 people are interested in this event


User Activity

No recent activity