Fault diagnosis for Time Petri Nets

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 313-318

  Jiroveanu, George ^a,c   Boel, René K ^a   De Schutter, Bart ^b  

^a GHENT UNIVERSITY   (Belgium)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c Transelectrica SA   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT PROPAGATION; LINEAR INEQUALITIES; TIME PETRI NET (TPN);

CONSTRAINT THEORY; FAILURE ANALYSIS; INDUSTRIAL PLANTS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

ALGORITHMS;

EID: 34250788916     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678448     Document Type: Conference Paper

References (9)

1. T. Aura and J. Lilius, Time Processes for Time Petri Nets ATPN 1997, LNCS pp. 136-155, Springer Verlag, 1997
2. B. Berthomieu and M. Menasche, An enumerative approach for analyzing Time Petri Nets IFIP Congress Paris, 1983.
3. T. Chatain and C. Jard, Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets Int. Conf. on Formal Modeling and Analysis of Time Systems Uppsala, Sweden, 2005.
4. E. Fabre, A. Benvensite, S. Haar and C. Jard Distributed monitoring of concurrent and asynchronous systems JDEDS, March, 2005
5. M. Ghazel, M. Bigand and A. Toguyény, A temporal-constraint based approach for the monitoring of DESs under partial observation Proc. of IFAC Congress, Prague, 2005
6. G. Jiroveanu, Fault diagnosis for large Petri Nets PhD Thesis, Ghent University, 2006
7. K. L. McMillan, Symbolic model checking Kluwer Academic, 1993
8. M. Sampath, R. Sengupta, S. Lafortune, S. Sinnamohideen and D. Teneketzis, Diagnosability of Discrete Event Systems IEEE-T on Automatic Control Vol. 40(9), 1995, pp. 1555-1575
9. B. De Schutter and B. De Moor, The Extended Linear Complementarity Problem Mathematical Programming, 71(3):289-325, Dec. 1995