Verification and Control of Hybrid Systems: A Symbolic Approach

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. Read More

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. Read Less

• All from $38.70
• New Books from $140.50
• Used Books from $126.81
• eBook from $38.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $38.70 (Expires Jul 11, 2025) 60 Day Rental: $51.60 (Expires Aug 10, 2025) 90 Day Rental: $64.50 (Expires Sep 09, 2025) 120 Day Rental: $77.40 (Expires Oct 09, 2025) 180 Day Rental: $83.85 (Expires Dec 08, 2025) Buy eBook Lifetime Access: $129.00 Title: Verification and Control of Hybrid Systems by Paulo Tabuada Publisher: Springer Nature Print ISBN: 9781441902238, 1441902236 eText ISBN: 9781441902245 Edition: 2009 2009 edition Format: PDF eBook	$38.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ