Verification and Control of Hybrid Systems: A Symbolic Approach

Description

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Verification and Control of Hybrid Systems: A Symbolic Approach" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2973
2. Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach (Lecture Notes in Control and Information Sciences)
3. Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control) { Repost }
4. Constrained Optimal Control of Linear and Hybrid Systems (Lecture Notes in Control and Information Sciences)
5. Stochastic Hybrid Systems (Automation and Control Engineering)
6. Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
7. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
8. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
9. Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing: An Evolutionary Approach fo
10. Control of Nonlinear and Hybrid Process Systems: Designs for Uncertainty, Constraints and Time-Delays
11. Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco
12. Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control (Princeton Series in Applied Mathematics)
13. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
14. Scalable Hardware Verification with Symbolic Simulation
15. Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing: An Evolutionary Approach for Neural Networks and Fuzzy Systems (Studies in Fuzziness and Soft Computing)
16. [share_ebook] Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems