Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by André Platzer, PDF 3642444741

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

  • Title: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • Autor: André Platzer
  • Publisher (Publication Date): Springer; 2010 edition (November 28, 2014)
  • Language: English
  • ISBN-10: | 3642444741
  • ISBN-13: | 978-3642444746
  • File Format: EPUB, PDF

 
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

No reviews

Comments:


Related posts

Mastering Android Studio 3: Build Dynamic and Robust Android applications by Kyle Mew, PDF 1786467445
Enhanced Intelligent Algorithm to Deploy Enterprise Architecture by Asou Aminnezhad, PDF 3659889075
Handbook of Blockchain, Digital Finance, and Inclusion, Volume 1: Cryptocurrency, FinTech, InsurTech, and Regulation by Robert H. Deng, PDF 0128104414
ISO 9001 Quality Management Systems (Management and Industrial Engineering) by Dhanasekharan Natarajan, PDF
Hyper-V Best Practices by Benedict Berger, PDF 1782176098
An Introduction to SAS University Edition by Ron Cody, PDF 1629597708

Leave a Reply

Your email address will not be published. Required fields are marked *