Modelling and Analysis of Hybrid Supervisory Systems, Fachbücher von Emilia Villani, Robert Valette, Paulo Eigi Miyagi

Das Fachbuch 'Modelling and Analysis of Hybrid Supervisory Systems' bietet eine umfassende Einführung in ein innovatives Modellierungsformalismus, das Petri-Netze, Differentialgleichungssysteme und objektorientierte Methoden kombiniert. Dieses formale Modell ist besonders geeignet für die Modellierung komplexer und grossangelegter Systeme. Die Autoren präsentieren eine strukturierte Methode, die von den Anforderungen eines Aufsichtssystems ausgeht und zu einem konkreten Vorschlag für ein solches System führt. Diese Methode nutzt UML-Diagramme, die sowohl in der akademischen als auch in der industriellen Praxis weit verbreitet sind. Um sicherzustellen, dass das Aufsichtssystem die erwarteten Verhaltensweisen zeigt, wird ein Validierungsverfahren vorgestellt, das die formalen Eigenschaften des hybriden Modells überprüft. Das Buch legt besonderen Wert auf die Verbindung zwischen akademischer Forschung und industrieller Anwendung, indem es reale Beispiele behandelt, darunter ein HVAC-Managementsystem, ein Landungssystem und eine Zuckerfabrik.