Montant total (1 article articles) :
Destination de la commande :
verification control hybrid systems (35 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (35)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (27)
- Comme neuf, Très bon ou Bon (5)
- Assez bon ou satisfaisant (3)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (11)
- Sans impressions à la demande (26)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,77
EUR 6,01 shipping
Ships within Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,80
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 110,42
EUR 13,62 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 130,29
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 131,81
EUR 2,27 shipping
Ships within Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 130,62
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification and Control of Hybrid Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 136,31
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 220.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 147,93
Livraison gratuite
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,84
EUR 13,62 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,84
EUR 13,62 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,83
EUR 17,05 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification and Control of Hybrid Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 145,08
EUR 7,39 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 220 200 Illus.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 150,88
EUR 2,27 shipping
Ships within Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 152,20
EUR 17,05 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Hybrid Systems III : Verification and Control
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,99
EUR 64,75 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
-
Hybrid Systems III : Verification and Control
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Langue: anglais
EUR 83,44
EUR 105 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
Verification and Control of Hybrid Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 190,80
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 220.
-
EUR 123,70
EUR 70 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
EUR 95,35
EUR 105 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Verification and Control of Hybrid Systems : A Symbolic Approach
Edité par Springer US, Springer US, 2010
ISBN 10 : 1441954988 ISBN 13 : 9781441954985
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 143,56
EUR 61,71 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 204,93
EUR 7,39 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 220.
-
Verification and Control of Hybrid Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 205,34
EUR 9,95 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 220.
-
Verification and Control of Hybrid Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 224,37
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 220.
-
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 203,74
EUR 28,42 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
Verification and Control of Hybrid Systems
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 223,65
EUR 28,42 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPerfect Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Hybrid Dynamical Systems: An Introduction to Control and Verification (Foundations and Trends in Systems and Control)
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,27
EUR 73,89 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Light wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread.
-
Verification and Control of Hybrid Systems
Edité par Springer US, Springer US Nov 2010, 2010
ISBN 10 : 1441954988 ISBN 13 : 9781441954985
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,09
EUR 23 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 Allemagne to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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 Allemagne to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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
Edité par Springer-Verlag New York Inc., 2010
ISBN 10 : 1441954988 ISBN 13 : 9781441954985
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 162,51
EUR 16,15 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 346.
