Verification and Control of Hybrid Systems

Name: Verification and Control of Hybrid Systems: A Symbolic Approach
Brand: Springer
SKU: 9781441902238
Price: 4297.00 INR
Availability: InStock

A Symbolic Approach

by Paulo Tabuada

Springer

₹4,297

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.