Many software based control systems are indeed safety or mission critical systems. Examples are: aerospace, transportation, medical devices, financial systems.
In this talk I will outline my research activity as for model based synthesis and verification of software based control systems and show how the general purpose algorithms and tools developed have been used in specific application domains.
19/02/2020
Time: 10:30
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Enrico Tronci