Logical Analysis of Hybrid Systems
By:André Platzer
Published on 2010-09-02 by Springer Science & Business Media
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.
This Book was ranked at 7 by Google Books for keyword foundation course.
Book ID of Logical Analysis of Hybrid Systems's Books is xCvB4ACK_qMC, Book which was written byAndré Platzerhave ETAG "xqdoYDhnWYw"
Book which was published by Springer Science & Business Media since 2010-09-02 have ISBNs, ISBN 13 Code is 9783642145094 and ISBN 10 Code is 3642145094
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "426 Pages" is Printed at BOOK under CategoryMathematics
This Book was rated by Raters and have average rate at ""
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false
Book Preview
Tidak ada komentar:
Posting Komentar