Articles liés à Modelling and Analysis of Hybrid Supervisory Systems:...
Synopsis
"Modelling and Analysis of Hybrid Supervisory Systems" introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these - an HVAC management system, a landing system and a cane-sugar factory - are discussed at length.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Emilia Villani received her PhD degree from the University of São Paulo, Brazil, in 2004. She is currently an Assistant Professor at Instituto Tecnologico de Aeronautica. Her area of work is Industrial Automation.
Paulo Eigi Miyagi received his Dr.Eng. degree from Tokyo Institute of Technology, Japan, in 1988 and L.Doc. degree from the University of Sao Paulo, Brazil, in 1993. He is currently a Professor at Escola Politécnica, the University of Sao Paulo, Brazil. His area of work is Mechatronics Systems and Industrial Automation.
Robert Valette received his PhD degree from LAAS-CNRS and Université Paul Sabatier, Toulouse, France, 1971. "Docteur d'État" from LAAS-CNRS and Université Paul Sabatier, Toulouse, France, 1976. Currently "Directeur de Recherche" (Chief senior researcher) at LAAS-CNRS and supervisor for real-time and critical embedded system training within the Doctoral School (École Doctorale) EDSYS, a common organization of Université Paul Sabatier, INSA and École Supérieure de l'Aéronautique et de l'Espace in Toulouse. After many years devoted to the study of Discrete Event Systems represented by Petri nets and their application to the local and supervisory control of manufacturing systems Robert Valette's interest currently focuses on critical embedded systems. This involves the formal verification of properties of discrete event systems with timeliness constraints and, when the behaviour of the physical system controlled by computer has to be taken into account, the formal verification of properties of hybrid systems.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 29,60
EUR 7,69 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Modelling and Analysis of Hybrid Supervisory Systems:...
Image d'archives
Modelling and Analysis of Hybrid Supervisory Systems. A Petri Net Approach.
Edité par
London, Springer., 2007
ISBN 10 : 1846286506
ISBN 13 : 9781846286506
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
XXI, 224 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Advances in Industrial Control Sprache: Englisch. N° de réf. du vendeur 1927DB
Quantité disponible : 2 disponible(s)
Image d'archives
Modelling and Analysis of Hybrid Supervisory Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 248. N° de réf. du vendeur 26460134
Quantité disponible : 1 disponible(s)
Image d'archives
Modelling and Analysis of Hybrid Supervisory Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 248. N° de réf. du vendeur 18460140
Quantité disponible : 1 disponible(s)
Image d'archives
Modelling and Analysis of Hybrid Supervisory Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 248 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7387833
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Modelling and Analysis of Hybrid Supervisory Systems
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides the reader with a viable approach for modelling supervisory systems dealing with a mixture of discrete- and continuous-event systemsDemonstrates in depth how a fusion of the ideas of Petri nets, differential equations and object orientati. N° de réf. du vendeur 4283021
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modelling and Analysis of Hybrid Supervisory Systems
Edité par
Springer London Jan 2007, 2007
ISBN 10 : 1846286506
ISBN 13 : 9781846286506
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model. 248 pp. Englisch. N° de réf. du vendeur 9781846286506
Quantité disponible : 2 disponible(s)
Image d'archives
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781846286506_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5011655-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modelling and Analysis of Hybrid Supervisory Systems
Edité par
Springer London, Springer London Jan 2007, 2007
ISBN 10 : 1846286506
ISBN 13 : 9781846286506
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -'Modelling and Analysis of Hybrid Supervisory Systems' introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these ¿ an HVAC management system, a landing system and a cane-sugar factory ¿ are discussed at length.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch. N° de réf. du vendeur 9781846286506
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Edité par
Springer London, Springer London, 2007
ISBN 10 : 1846286506
ISBN 13 : 9781846286506
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Modelling and Analysis of Hybrid Supervisory Systems' introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these - an HVAC management system, a landing system and a cane-sugar factory - are discussed at length. N° de réf. du vendeur 9781846286506
Quantité disponible : 1 disponible(s)