Mode Estimation of Probabilistic Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |
Many complex systems today, such as robotic networks, automobiles and automated factories, consist of hardware components whose functionality is extended or controlled by embedded software and which exhibit continuous dynamics. We address the problem of monitoring and control in such systems with a twofold contribution. First, we extend Probabilistic Hierarchical Constraint Automata (PHCA), introduced in previous work as a means to compactly describe uncertain hardware and complex software behavior, to hybrid PHCA (HyPHCA). These allow to model continuous behavior in the form of differential equations. Continuous behavior can be conservatively approximated with discrete Markov chains, and in previous work we showed how to transform PHCA monitoring into a constraint optimization problem that can be solved using off-the-shelf reasoners. Our second contribution is to show how to combine these and additional known methods to use a HyPHCA to monitor the internal state and plan for contingencies in a rich class of mixed hardware/software, discrete/continuous systems. Preliminary results of our approach for an industrial filling station scenario demonstrate its feasibility.