Photo 1 sur 1
Vérification et contrôle des systèmes hybrides : une approche symbolique par Paulo Tabuada
État :
3 disponibles
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 98,2% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364697448352
Dernière mise à jour : mai 19, 2024 00:22:56 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9781441902238
- Book Title
- Verification and Control of Hybrid Systems
- ISBN
- 9781441902238
- Publication Year
- 2009
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Verification and Control of Hybrid Systems : a Symbolic Approach
- Item Length
- 9.3in
- Publisher
- Springer
- Item Width
- 6.1in
- Item Weight
- 38.1 Oz
- Number of Pages
- Xv, 202 Pages
À propos de ce produit
Product Information
This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
Product Identifiers
Publisher
Springer
ISBN-10
1441902236
ISBN-13
9781441902238
eBay Product ID (ePID)
72346375
Product Key Features
Publication Name
Verification and Control of Hybrid Systems : a Symbolic Approach
Format
Hardcover
Language
English
Publication Year
2009
Type
Textbook
Number of Pages
Xv, 202 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
38.1 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Q295
Reviews
From the reviews:The book covers a wide range of foundational topics in verification and control of hybrid systems. … The exposition is … smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field. (I. Meznik, Mathematical Reviews, Issue 2010 h)The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. … This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control. (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010), From the reviews: "The book covers a wide range of foundational topics in verification and control of hybrid systems. ... The exposition is ... smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field." (I. Meznik, Mathematical Reviews, Issue 2010 h) "The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. ... This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control." (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010), From the reviews: "The book covers a wide range of foundational topics in verification and control of hybrid systems. ... The exposition is ... smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field." (I. Meznik, Mathematical Reviews, Issue 2010 h) "The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. ... This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control." (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010), From the reviews:The book covers a wide range of foundational topics in verification and control of hybrid systems. … The exposition is … smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field. (I. Meznik, Mathematical Reviews, Issue 2010 h)
Table of Content
Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.
Copyright Date
2009
Topic
Hardware / General, Computer Science, System Theory, Electrical
Dewey Decimal
004.259
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Genre
Computers, Technology & Engineering, Science
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364697448352
Dernière mise à jour : mai 19, 2024 00:22:56 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela
Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|---|
Expédition sans frais | Sans frais | États-Unis | Economy Shipping | Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 43230 |
Délai de manutention |
---|
Expédition dans les 10 jours ouvrables après réception du paiement. |
Taxes |
---|
Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (364697448352)
Taxe de vente pour cet objet (364697448352)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Modalités de renvoi
Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
---|---|
30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (1 023 952)
v***y (333)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Arrived in perfect condition and surprised by the quality.
n***b (58)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
What i want when i want it. Is there anything else to say!
n***b (58)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Yummy treats at a great price!