, est-il est toujours vrai () que si le système produit Obs (sys_nonAdm = 0 ? p Obs = 1) alors (?) il est concordant avec le motif (M |? ? Q ? )
autrement dit, est-il est toujours vrai () que si le système produit Obs (sys_nonAdm = 0 ? p Obs = 1) alors (?) il n'est pas concordant ,
, Application au Diagnostic d'un food-shop
, de produits alimentaires baptisé foodshop qui a été utilisé comme étude de cas dans le cadre du projet européen WSDIA- MOND [8] Ce système est représenté par le réseau de la figure 4. Le fonctionnement simplifié de ce système est le suivant : la boutique reçoit la commande d'un client (sh_recvg) Dans les [1] Alfred V. AHO. Algorithms for finding patterns in strings, pp.255-300, 1990.
Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003. ,
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00072442
Comparison of Different Semantics for Time Petri Nets, Automated technology for verification and analysis, pp.293-307, 2005. ,
DOI : 10.1007/11562948_23
Traité IC2 "Systèmes temps réel 1 ? Techniques de description et de vérification, Nicolas Navet, 2006. ,
Model checking bounded prioritized time petri nets. In Automated Technology for Verification and Analysis, 2007. ,
Fault detection for discrete event systems using Petri nets with unobservable transitions, Automatica, vol.46, issue.9, pp.1531-1539, 2010. ,
DOI : 10.1016/j.automatica.2010.06.013
Orna Grumberg, and Doron A. Peled. Model Checking, 1999. ,
WS-DIAMOND : Web Services ?DIAgnosability, MONitoring, and Diagnosis, pp.213-240, 2009. ,
Fault Detection of Discrete Event Systems Using Petri Nets and Integer Linear Programming, 17th World Congress of the International Federation of Automatic Control (IFAC14), pp.43-47, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01105
Situation recognition : representation and algorithms, International Joint Conference on Artificial Intelligence, pp.166-172, 1993. ,
Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, pp.206-219, 2007. ,
DOI : 10.1109/TASE.2006.879916
URL : http://www.eecs.umich.edu/umdes/publication_files/sgtase07.pdf
A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL, 16th IFAC World Congress, pp.331-336, 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.00339
Analyse de l'impact du temps sur la diagnosticabilité des systèmes à événements discrets, 2015. ,
Supervision patterns in discrete event systems diagnosis, 8th International Workshop on Discrete Event Systems, pp.262-268, 2006. ,
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004. ,
DOI : 10.1109/TAC.2004.829616
Fast pattern matching in strings, SIAM journal on computing, vol.6, issue.2, pp.323-350, 1977. ,
Diagnosis of DES With Petri Net Models, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.114-118, 2007. ,
DOI : 10.1109/TASE.2006.872122
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting, 19th World Congress of the International Federation of Automatic Control (IFAC14), pp.43-47 ,
DOI : 10.3182/20140824-6-ZA-1003.02336
URL : https://hal.archives-ouvertes.fr/hal-01740388
A Study of the Recoverability of Computing Systems, 1974. ,
TOWARDS LOW-COST FAULT DIAGNOSIS IN LARGE COMPONENT-BASED SYSTEMS 1, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1473-1478, 2006. ,
DOI : 10.3182/20060829-4-CN-2909.00245
Essential states in time petri nets, Informatik-Berichte, vol.96, 1998. ,
Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems, 2011 IEEE International Conference on Automation Science and Engineering, pp.163-168, 2011. ,
DOI : 10.1109/CASE.2011.6042512
URL : https://hal.archives-ouvertes.fr/hal-00801506
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
Fault Diagnosis for Timed Automata, Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2 Proceedings, pp.205-224, 2002. ,
DOI : 10.1007/3-540-45739-9_14
, Eugene Asarin, and Oded Maler. Timed Pattern Matching, pp.222-236
A Boyer-Moore Type Algorithm for Timed Pattern Matching, pp.121-139 ,
DOI : 10.1016/S0167-6423(03)00013-3
Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI04), pp.838-842, 2004. ,
Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013. ,
DOI : 10.1016/j.arcontrol.2013.09.009