Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems
Author :
Publisher : Springer
Total Pages : 186
Release :
ISBN-10 : 9783642388743
ISBN-13 : 3642388744
Rating : 4/5 (43 Downloads)

Book Synopsis Formal Methods for Dynamical Systems by : Marco Bernardo

Download or read book Formal Methods for Dynamical Systems written by Marco Bernardo and published by Springer. This book was released on 2013-06-12 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.


Formal Methods for Dynamical Systems Related Books

Formal Methods for Dynamical Systems
Language: en
Pages: 186
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2013-06-12 - Publisher: Springer

DOWNLOAD EBOOK

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer
Formal Methods for Discrete-Time Dynamical Systems
Language: en
Pages: 291
Authors: Calin Belta
Categories: Technology & Engineering
Type: BOOK - Published: 2017-03-08 - Publisher: Springer

DOWNLOAD EBOOK

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also
Hybrid Dynamical Systems
Language: en
Pages: 455
Authors: Hai Lin
Categories: Technology & Engineering
Type: BOOK - Published: 2021-11-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

A graduate-level textbook, Hybrid Dynamical Systems provides an accessible and comprehensive introduction to the theory of hybrid systems. It emphasizes results
Logical Analysis of Hybrid Systems
Language: en
Pages: 446
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2010-09-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit
Discrete-Time and Discrete-Space Dynamical Systems
Language: en
Pages: 222
Authors: Kuize Zhang
Categories: Technology & Engineering
Type: BOOK - Published: 2019-08-06 - Publisher: Springer

DOWNLOAD EBOOK

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time