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.’ Recently, we used these methods to formally model a sub-component of the self-driving car; results of this can be found in our paper at MASE 2020.