Hybrid Control Systems (HyConSys) Lab Computer Science Department, University of Colorado Boulder, CO, USA.

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.

1 / 14