This website is not maintained anymore!
The new group website is here!
The research line of this group mainly focuses on formal verification and control of (stochastic) hybrid systems. These systems are composed of both continuous dynamics, capturing the behaviour of physical systems, and discrete dynamics, capturing the behaviour of computational devices. Due to versatility and generality of such systems modelling, methods for analysis and design of them carry great promise in many safety-critical applications. Examples of such applications include automotive, aerospace, transportation systems, chemical process, critical infrastructure, energy, robotics, healthcare, etc.