Tutorial on Elliptic PDE Solvers and Their Parallelization
Tutorial on Elliptic PDE Solvers and Their Parallelization
Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis
Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis
Robust hybrid control for autonomous vehicle motion planning
Robust hybrid control for autonomous vehicle motion planning
Towards Hilbertian Formal Methods
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Discrete Event Dynamic Systems
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Adjoint-based optimal control of the expected exit time for stochastic hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |
In this paper, we introduce a new stochastic analysis method for the uncontrollable behaviour of hybrid systems triggered by faults. Models like manoeuvre automata can be used for controllable transitions between stable modes. However, the normal behaviour can become easily unpredictable when a fault occurs, and a human or an automated supervisor needs to take very quickly the right actions to drive the system back into a controllable state. The system behaviour while transiting two controllable states is called non sequitur. Using stochastic analysis we investigate how to extract information about non sequitur that can be used in stochastic control.