Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 202
Release :
ISBN-10 : 9781441902245
ISBN-13 : 1441902244
Rating : 4/5 (244 Downloads)

Book Synopsis Verification and Control of Hybrid Systems by : Paulo Tabuada

Download or read book Verification and Control of Hybrid Systems written by Paulo Tabuada and published by Springer Science & Business Media. This book was released on 2009-06-12 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Verification and Control of Hybrid Systems Related Books

Verification and Control of Hybrid Systems
Language: en
Pages: 202
Authors: Paulo Tabuada
Categories: Science
Type: BOOK - Published: 2009-06-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo
Verification of Digital and Hybrid Systems
Language: en
Pages: 428
Authors: M. Kemal Inan
Categories:
Type: BOOK - Published: 2000-03-16 - Publisher:

DOWNLOAD EBOOK

Handbook of Hybrid Systems Control
Language: en
Pages: 583
Authors: Jan Lunze
Categories: Computers
Type: BOOK - Published: 2009-10-15 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.
Logical Analysis of Hybrid Systems
Language: en
Pages: 446
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2010-09-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit
Hybrid Dynamical Systems
Language: en
Pages: 172
Authors: Hai Lin
Categories: Hybrid systems
Type: BOOK - Published: 2014 - Publisher:

DOWNLOAD EBOOK

Hybrid dynamical systems are a class of complex systems that involve interacting discrete-event and continuous-variable dynamics. They are important in applicat