Formal Methods for Dynamical Systems

"Metodi Formali per Sistemi Dinamici" è un libro di testo che si basa sulle lezioni tutoriali tenute da ricercatori di spicco durante la 13ª Scuola Internazionale sui Metodi Formali per la Progettazione di Sistemi Informatici, di Comunicazione e Software (SFM 2013). Questo evento si è svolto a giugno 2013 a Bertinoro, Italia, ed era dedicato al tema dei sistemi dinamici. Il libro tratta una vasta gamma di argomenti, tra cui dinamica caotica, teoria dell'informazione, biologia dei sistemi, sistemi ibridi, calcolo quantistico, nonché modelli basati su automi e verifica dei modelli. Si rivolge a professionisti e studenti che desiderano approfondire gli sviluppi e i metodi più recenti in questi ambiti. I contributi provengono da esperti riconosciuti e offrono preziose intuizioni sugli aspetti teorici e pratici dei metodi formali.