Formal Methods for Dynamical Systems

"Les Méthodes Formelles pour les Systèmes Dynamiques" est un ouvrage spécialisé basé sur les conférences tutoriels données par des chercheurs de premier plan lors de la 13e École Internationale sur les Méthodes Formelles pour la Conception de Systèmes Informatiques, de Communication et de Logiciels (SFM 2013). Cet événement a eu lieu en juin 2013 à Bertinoro, en Italie, et était consacré au thème des systèmes dynamiques. Le livre aborde une variété de sujets, y compris la dynamique chaotique, la théorie de l'information, la biologie des systèmes, les systèmes hybrides, l'informatique quantique ainsi que les modèles basés sur des automates et la vérification de modèles. Il s'adresse aux professionnels et aux étudiants souhaitant se familiariser avec les dernières avancées et méthodes dans ces domaines. Les contributions proviennent d'experts reconnus et offrent des perspectives précieuses sur les aspects théoriques et pratiques des méthodes formelles.