Verification and Control of Hybrid Systems: A Symbolic Approach

New
Hardcover
2009
$157.94

This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.

Synopsis

This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.

$157.94

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 202
Publisher: Springer
Published: 17 Jun 2009
ISBN 10: 1441902236
ISBN 13: 9781441902238

Verification and Control of Hybrid Systems: A Symbolic Approach

New

$157.94

Synopsis

$157.94

More Information