Les logiques sont des langages universels qui permettent de spécifier de manière mathématiquement précise le comportement de systèmes, mais aussi de guider le développement d'algorithmes complexes pour garantir leur sûreté et leur contrôle. La richesse de ces logiques est d'autant plus cruciale pour des systèmes complexes, pour lesquels de nombreux phénomènes différents doivent être pris en compte (temporalité, incertitudes, connaissances, concurrence).
Dans ce cours, nous nous intéresserons particulièrement aux logiques utiles à l'analyse de systèmes hybrides, c’est-à-dire de systèmes soumis à la fois à des dynamiques physiques continues et à du contrôle numérique de systèmes informatiques, comme par exemple les véhicules autonomes. Nous explorerons la richesse des logiques et des langages de modélisation dans ce contexte, et nous ferons un tour d'horizon des méthodes formelles basées ou guidées par ces logiques.
