Order Total (1 Item Items):
Shipping Destination:
Verification Control Hybrid Systems by Tabuada Paulo (21 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (21)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (6)
- Not Print on Demand (13)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
£ 85.32
Convert currency£ 7.73 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 202 | Sprache: Englisch | Produktart: Bücher.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 118.42
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 118.42
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Published by Springer US, Springer US, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Language: English
£ 126.82
Convert currency£ 12.15 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
-
£ 147.79
Convert currency£ 6.70 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 220.
-
£ 112.83
Convert currency£ 55.85 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 113.12
Convert currency£ 55.85 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 168.20
Convert currency£ 6.70 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 220.
-
Condition: New. pp. 220.
-
Paperback. Condition: Like New. Like New. book.
-
£ 188.52
Convert currency£ 6.91 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 220.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Published by Springer Us Jun 2009, 2009
ISBN 10: 1441902236 ISBN 13: 9781441902238
Language: English
£ 183.83
Convert currency£ 12.15 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - 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. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
-
Perfect Paperback. Condition: Like New. Like New. book.
-
Verification and Control of Hybrid Systems
Published by Springer US Nov 2010, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 100.53
Convert currency£ 9.56 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book. 220 pp. Englisch.
-
£ 106.14
Convert currency£ 21.71 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Unified presentation of different abstraction techniques for hybrid systemsUnified treatment of the notions of simulation and bisimulation across discrete, continuous and hybrid systemsThorough discussion of the recently introduced notions .
-
£ 106.99
Convert currency£ 21.71 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Unified presentation of different abstraction techniques for hybrid systemsUnified treatment of the notions of simulation and bisimulation across discrete, continuous and hybrid systemsThorough discussion of the recently introduced notions .
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Published by Springer-Verlag New York Inc., 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 137.38
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 346.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Published by Springer-Verlag New York Inc., 2009
ISBN 10: 1441902236 ISBN 13: 9781441902238
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 138.41
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1110.
-
Verification and Control of Hybrid Systems
Published by Springer US, Springer US Nov 2010, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 124.46
Convert currency£ 30.41 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
-
Condition: New. Print on Demand pp. 220 200 Illus.
-
£ 164.69
Convert currency£ 6.91 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 220.
