Gesamtpreis (1 Artikel Artikel):
Versandziel:
verification control hybrid systems von tabuada (29 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (29)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (24)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (10)
- Keine Print-on-Demand Angebote (20)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Zustand: New. pp. 220.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 134,71
EUR 13,71 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 134,71
EUR 13,71 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 134,70
EUR 17,16 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification and Control of Hybrid Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 144,89
EUR 7,44 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 220 200 Illus.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 153,19
EUR 17,16 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Zustand: New. pp. 220.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of several classes of hybrid systems, admitting symbolic models along with the relationships between them. The text outlines several key verification and control synthesis results for hybrid systems, guided by the concept of bisimulation, and illustrated by numerous examples.The book is divided into four parts:Part I presents basic concepts centered on a notion of system that is general enough to describe finite-state, infinite-state, and hybrid systems.Part II discusses the ways in which systems relate to other systems, such as behavioral inclusion/equivalence and simulation/bisimulation, using these relationships to study verification and control synthesis problems for finite-state systems.Part III draws inspiration from timed automata to present several classes of hybrid systems, with richer continuous dynamics, that can be related to finite-state symbolic systems. Once such relationships are established, verification and control synthesis problems for these hybrid systems can be immediately solved by resorting to the techniques described in Part II for finite-state systems. Part IV follows the same strategy by generalizing simulation/bisimulation relationships to approximate simulation/bisimulation relationships that can be used for a wider class of hybrid systems.This comprehensive treatment will appeal to researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control and will undoubtedly inspire further study of the specialized literature.
-
Taschenbuch. Zustand: Neu. Verification and Control of Hybrid Systems | A Symbolic Approach | Paulo Tabuada | Taschenbuch | xv | Englisch | 2010 | Humana | EAN 9781441954985 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Verification and Control of Hybrid Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 204,66
EUR 7,44 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 220.
-
Verification and Control of Hybrid Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 220.
-
Zustand: New. pp. 220.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 205,06
EUR 28,61 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Verification and Control of Hybrid Systems
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 225,10
EUR 28,61 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbPerfect Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Verification and Control of Hybrid Systems
Verlag: Springer US, Springer US Nov 2010, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
EUR 118,61
EUR 48,99 shipping
Ships from Deutschland to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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 .
-
EUR 119,56
EUR 48,99 shipping
Ships from Deutschland to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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
Verlag: Springer-Verlag New York Inc., 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 163,56
EUR 16,26 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: 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
Verlag: Springer-Verlag New York Inc., 2009
ISBN 10: 1441902236 ISBN 13: 9781441902238
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 164,66
EUR 25,00 shipping
Ships from Vereinigtes Königreich to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1110.
-
Verification and Control of Hybrid Systems
Verlag: Springer US, Springer US Nov 2010, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Verification and Control of Hybrid Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 220.
-
Verification and Control of Hybrid Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 240,55
EUR 7,44 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 220 200 Illus.
-
Verification and Control of Hybrid Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 220.
