The study of hybrid systems is a very important, and at the same time, a rapidly developing area of research and is presently mainly based outside the UK. CICADA is an interdisciplinary project drawing on the strengths of the School of Mathematics, the School of Computer Science and the Control Systems Centre in the School of Electrical and Electronic Engineering.
- Uncertainty in modeling and verification of hybrid systems
- Hybrid dynamics
- Human falling
- Verification of safety-critical systems
We're also developing a number
We're also developing a number of exemplar problems/test cases which are used to illustrate and benchmark the advances made on the project.
Other related projects.