Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
-
G. Nenninger
Sowohl beim Entwurf einer Prozessführungseinrichtung als auch bei der Verifikation gesteuerter Prozesse ist zu überprüfen, welche Prozesszustände von einer aktuellen Anfangssituation aus mit den zur Verfügung stehenden Stellgrößen erreicht werden können. Die bei der Erreichbarkeitsanalyse verwendeten Verfahren hängen eng mit der Beschreibungsform zusammen, die das vorhandene Wissen über den Prozess mit Blick auf das Automatisierungsziel abbildet. Ausgehend von zwei verschiedenen Steuerungsaufgaben bei hybriden dynamischen Systemen vermittelt der Beitrag einen Einblick in das Anwendungspotential zweier Methoden zur Erreichbarkeitsanalyse auf Basis einer ereignisdiskreten Abstraktion des Systemverhaltens beziehungsweise einer gemischt diskret-kontinuierlichen Beschreibung. An einem Beispiel werden die Verfahren gegen übergestellt und aufgezeigt, inwiefern sie sich in der praktischen Anwendung ergänzen.
Both, for the controller design and the verification of controlled processes one has to check which states are reachable from an actual operating point by means of the accessible inputs. The methods for reachability analysis closely depend on the model representing the knowledge about the process with respect to the desired objective. Proceeding from two different control tasks for hybrid dynamical systems, this contribution gives insight into the application of two methods for reachability analysis on the basis of a discrete-event abstraction or on the mixed discret-continuous modelling of the hybrid dynamics, respectively. An example is given to compare both methods and to show how they can be combined.
Articles in the same Issue
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
Articles in the same Issue
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
