Isbn: 9781846286506 - modelling and analysis of hybrid supervisory systems: a petri net approach (advances in industrial control) (15 resultados)

Condición: New.

Condición: New.

Condición: New.

Condición: New. In English.

Buch. Condición: 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.…

Condición: New. pp. 248.

Condición: As New. Unread book in perfect condition.

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Condición: new. Questo è un articolo print on demand.

Buch. Condición: 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.…

Gebunden. Condición: 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.…

Condición: New. Print on Demand pp. 248 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.…

Condición: New. PRINT ON DEMAND pp. 248.