Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Books - Springer-Verlag New York Inc. - 9781441954985 - November 5, 2010
In case cover and title do not match, the title is correct

Verification and Control of Hybrid Systems: A Symbolic Approach Softcover reprint of hardcover 1st ed. 2009 edition

Price
£ 104.49

Ordered from remote warehouse

Expected delivery Jan 6 - 12, 2026
Christmas presents can be returned until 31 January
Add to your iMusic wish list
or

Also available as:

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.


202 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 5, 2010
ISBN13 9781441954985
Publishers Springer-Verlag New York Inc.
Pages 202
Dimensions 155 × 235 × 11 mm   ·   312 g
Language English