Articles liés à Verification and Control of Hybrid Systems
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 110,26
EUR 5,50 expédition depuis Italie vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Verification and Control of Hybrid Systems
Image d'archives
Verification and Control of Hybrid Systems
Edité par
Springer (edition 2009), 2009
ISBN 10 : 1441902236
ISBN 13 : 9781441902238
Ancien ou d'occasion
Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. 2009. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. N° de réf. du vendeur 1441902236-8-1
Quantité disponible : 1 disponible(s)
Image d'archives
Tabuada,P.:Verificat.a.Control o.Hybrid (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 3979dba4328b6dbbcadef86d0ee32583
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530293257
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6210208-n
Quantité disponible : 15 disponible(s)
Image d'archives
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781441902238
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification and Control of Hybrid Systems (Hardcover)
Edité par
Springer-Verlag New York Inc., New York, NY, 2009
ISBN 10 : 1441902236
ISBN 13 : 9781441902238
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9781441902238
Quantité disponible : 1 disponible(s)
Image d'archives
Verification and Control of Hybrid Systems: A Symbolic Approach
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781441902238_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verification and Control of Hybrid Systems : A Symbolic Approach
Edité par
Springer, 2009
ISBN 10 : 1441902236
ISBN 13 : 9781441902238
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6210208
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Verification and Control of Hybrid Systems : A Symbolic Approach
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6210208-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verification and Control of Hybrid Systems
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 . N° de réf. du vendeur 4171960
Quantité disponible : Plus de 20 disponibles