MIDES

Manually defining models of complex systems is an intractable problem. In this project, we develop methods and tools to automate the generation of formal models for complex systems. These models can then be used to synthesize a controller for the given specifications that will allow us to control the system that will be guaranteed to be ‘correct-by-construction.’ A high-level overview of this can be found in our presentation at CASE conference 2019. Recently, we applied these methods to formally model a sub-component of the self-driving car; results of this can be found in our presentation at MASE 2020.

Ashfaq Farooqui
Ashfaq Farooqui
Ph.D Student

I am interested in the high level control of system of systems and everything attached.