Verification and Control of Hybrid Systems

Paulo Tabuada ()

in Springer Books from Springer

Date: 2009
ISBN: 978-1-4419-0224-5
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Ch 1 Systems

Paulo Tabuada

Ch 2 Verifcation problems

Paulo Tabuada

Ch 3 Control problems

Paulo Tabuada

Ch 4 Exact system relationships

Paulo Tabuada

Ch 5 Verification

Paulo Tabuada

Ch 6 Control

Paulo Tabuada

Ch 7 Exact symbolic models for verification

Paulo Tabuada

Ch 8 Exact symbolic models for control

Paulo Tabuada

Ch 9 Approximate system relationships

Paulo Tabuada

Ch 10 Approximate symbolic models for verification

Paulo Tabuada

Ch 11 Approximate symbolic models for control

Paulo Tabuada

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-1-4419-0224-5

Ordering information: This item can be ordered from
http://www.springer.com/9781441902245

DOI: 10.1007/978-1-4419-0224-5

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().