Logics are universal languages that make it possible to specify the behavior of systems in a mathematically precise way, but also to guide the development of complex algorithms in order to guarantee their safety and control. The richness of these logics is all the more crucial for complex systems in which many different phenomena must be taken into account (temporality, uncertainty, knowledge, concurrency).
In this course, we will focus in particular on the logics useful for analyzing hybrid systems, that is, systems subject both to continuous physical dynamics and to digital control by computer systems, such as autonomous vehicles. We will explore the richness of logics and modeling languages in this context, and we will give an overview of formal methods that are based on or guided by these logics.
