A Symbolic Approach To Uncertainty Management
Applied Intelligence
Mode Estimation of Probabilistic Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
GHOST: experimenting conflicts countermeasures in the pilot's activity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Revision of partially ordered information: axiomatization, semantics and iteration
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Estimation of distributed hybrid systems Using particle filtering methods
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Alert systems for production plants: a methodology based on conflict analysis
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Particle petri nets for aircraft procedure monitoring under uncertainty
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A tutorial on particle filters for online nonlinear/non-GaussianBayesian tracking
IEEE Transactions on Signal Processing
EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
Monitoring a hybrid system subjected to human actions needs both an estimation of the system state and an analysis of the possible conflicts in order to guarantee a safe behavior of the system. Such a monitoring principle is presented in this paper. The estimation of the hybrid system state is performed using the particle Petri net model. Then the estimated state is analysed by checking its consistency with respect to the reachable markings of the Petri net. The principle is applied to aircraft pilot's activity tracking and conflict detection.