On the formal verification of hybrid systems
H Guéguen, J Zaytoon - Control Engineering Practice, 2004 - Elsevier
This paper presents an overview of the verification of hybrid systems. Verification techniques
are usually based on calculation of the reachable state space of a hybrid automaton …
are usually based on calculation of the reachable state space of a hybrid automaton …
Mode set focused hybrid estimation
Estimating the state of a hybrid system means accounting for the mode of operation or failure
and the current state of the continuously valued entities concurrently. Existing hybrid …
and the current state of the continuously valued entities concurrently. Existing hybrid …
Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für …
O Stursberg, TH Tran - at-Automatisierungstechnik, 2006 - degruyter.com
Eine rigorose Modellierung diskret gesteuerter Systeme erfordert die adäquate Darstellung
abrupter Dynamikwechsel, wenn eine Steuerung eine diskrete Stellaktion als Reaktion auf …
abrupter Dynamikwechsel, wenn eine Steuerung eine diskrete Stellaktion als Reaktion auf …