Mohlo by sa vám tiež páčiť

Viac informácií o knihe Modelling and Analysis of Hybrid Supervisory Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 304 bodov

Anotácia knihy

"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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Celý názov: Modelling and Analysis of Hybrid Supervisory Systems
• Podnázov: A Petri Net Approach
• Autor: Emilia Villani, Paulo E. Miyagi, Robert Valette
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 226
• EAN: 9781846286506
• ISBN: 1846286506
• ID: 01433631
• Nakladateľ: Springer London Ltd
• Hmotnosť: 1160 g
• Rozmery: 235 × 155 × 18 mm
• Dátum vydania: 28. December 2006

---

---

---