Verification and Control of Hybrid Systems: A Symbolic Approach
- ISBN-10
- 1441902244
- ISBN-13
- 9781441902245
- Category
- Science
- Pages
- 202
- Language
- English
- Published
- 2009-06-12
- Publisher
- Springer Science & Business Media
- Author
- Paulo Tabuada
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.
Get the book
Similar books
-
Chemistry: An Introduction to General, Organic and Biological Chemistry
By Karen C. TimberlakeThis new edition introduces more problem-solving strategies and new conceptual and challenge problems. Also, each Chapter Review has been enhanced with Learning Goals to reinforce the mastery of concepts for students.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen TimberlakeThis laboratory manual contains 42 experiments for the standard sequence of topics in general, organic, and biological chemistry.
-
Basic Chemistry
By Karen C. TimberlakeThe book guides students through basic chemistry problem solving with engaging visuals and a focus on developing the math skills necessary to be successful in the course.
-
General, Organic, and Biological Chemistry: Structures of Life, eBook, Global Edition
By Karen C. TimberlakeThe full text downloaded to your computer With eBooks you can: search for key concepts, words and phrases make highlights and notes as you study share your notes with friends eBooks are downloaded to your computer and accessible either ...
-
Basic Chemistry
By Karen C. Timberlake, William E. TimberlakeBasic Chemistry
-
Basic Chemistry, Books a la Carte Edition
By Karen C. TimberlakeBasic Chemistry, Books a la Carte Edition
-
Essential Laboratory Manual for General, Organic and Biological Chemistry
By Karen C. TimberlakeEssential Laboratory Manual for General, Organic and Biological Chemistry
-
Basic Chemistry, Global Edition
By Karen C. Timberlake, Bill TimberlakeThe main objective in writing this text is to make the study of chemistry an engaging and a positive experience for students by relating the structure and behaviour of matter to real life.
-
General, Organic, and Biological Chemistry: An Integrated Approach
By Karen C. Timberlake, Laura D. Frost, Todd S. DealThe eText pages look exactly like the printed text, and include powerful interactive and customization functions. This is the product access code card for MasteringChemistry with Pearson eText and does not include the actual bound book.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen C. TimberlakeHealth, Environmental, and Green Chemistry Notes throughout the text relate chemistry chapters to real-life topics in health, the environment, and medicine that are interesting and motivating to students.