Logical Analysis of Hybrid Systems is popular PDF and ePub book, written by André Platzer in 2010-09-02, it is a fantastic choice for those who relish reading online the Mathematics genre. Let's immerse ourselves in this engaging Mathematics book by exploring the summary and details provided below. Remember, Logical Analysis of Hybrid Systems can be Read Online from any device for your convenience.
Logical Analysis of Hybrid Systems Book PDF Summary
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.
Detail Book of Logical Analysis of Hybrid Systems PDF
- Author : André Platzer
- Release : 02 September 2010
- Publisher : Springer Science & Business Media
- ISBN : 9783642145094
- Genre : Mathematics
- Total Page : 446 pages
- Language : English
- PDF File Size : 18,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Logical Analysis of Hybrid Systems by André Platzer, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.