Formal Methods for Dynamical Systems

"Formal Methods for Dynamical Systems" ist ein Fachbuch, das auf den Tutorial-Vorlesungen basiert, die von führenden Forschenden während der 13. Internationalen Schule für Formale Methoden zur Gestaltung von Computer-, Kommunikations- und Softwaresystemen (SFM 2013) gehalten wurden. Diese Veranstaltung fand im Juni 2013 in Bertinoro, Italien, statt und widmete sich dem Thema dynamische Systeme. Das Buch behandelt eine Vielzahl von Themen, darunter chaotische Dynamik, Informationstheorie, Systembiologie, hybride Systeme, Quantencomputing sowie automatenbasierte Modelle und Modellüberprüfung. Es richtet sich an Fachleute und Studierende, die sich mit den neuesten Entwicklungen und Methoden in diesen Bereichen auseinandersetzen möchten. Die Beiträge stammen von anerkannten Experten und bieten wertvolle Einblicke in die theoretischen und praktischen Aspekte der formalen Methoden.