Verification and Control of Hybrid Systems
A Symbolic Approach
Besorgungstitel - wird vorgemerkt | Lieferzeit: Besorgungstitel - Lieferbar innerhalb von 10 Werktagen I
128,20 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9781441902238
Veröffentl:
2009
Erscheinungsdatum:
15.06.2009
Seiten:
202
Autor:
Paulo Tabuada
Gewicht:
490 g
Format:
243x164x22 mm
Sprache:
Englisch
Beschreibung:
Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of several classes of hybrid systems, admitting symbolic models along with the relationships between them. The text outlines several key verification and control synthesis results for hybrid systems, guided by the concept of bisimulation, and illustrated by numerous examples.
Unified presentation of different abstraction techniques for hybrid systems
Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
