A modelling and analysis tool for discrete events systems: continuous Petri net
Performance Evaluation
Conflicting agents
A Symbolic Approach To Uncertainty Management
Applied Intelligence
A Qualitative Reasoning with Nuanced Information
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Towards a Modular Analysis of Coloured Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Modelling of Pilot Behaviour Using Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
GHOST: experimenting conflicts countermeasures in the pilot's activity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automatic video interpretation: a novel algorithm for temporal scenario recognition
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Monitoring a complex physical system using a hybrid dynamic bayes net
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Propagating uncertainty in Petri nets for activity recognition
ISVC'10 Proceedings of the 6th international conference on Advances in visual computing - Volume Part II
Estimation and conflict detection in human controlled systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
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
The perseveration syndrome in the pilot's activity: guidelines and cognitive countermeasures
HESSD'09 Proceedings of the 7th FIP WG 13.5 international conference on Human Error, Safety and Systems Development
Robotics and Autonomous Systems
Hi-index | 0.00 |
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertainties: the particle Petri net. This model is based on a particle filtering-like representation of the probabilistic uncertainty on the continuous part of the procedure, and a possibilistic Petri net-inspired approach to deal with the uncertainty on events. After introducing this formalism, we propose an analysis of an approach procedure, and a further application to the on-line tracking of pilots' activities.