The on-line diagnosis of time Petri nets

Lecture Notes in Control and Information Sciences

Volumn 433, Issue , 2013, Pages 343-364

  Boel, René K ^a   Jiroveanu, George ^b  

^a GHENT UNIVERSITY   (Belgium)

^b Transelectrica SA Romanian National Power Grid Company   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION;

DIAGNOSIS PROBLEM; ON-LINE DIAGNOSIS; PETRI NET MODELS; STATE CLASS GRAPH; TIME PETRI NETS;

PETRI NETS;

EID: 84866865379     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4471-4276-8_17     Document Type: Article

References (31)

1. Aura, T., Lilius, J.: Time processes of Time Petri Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 136-155. Springer, Heidelberg (1997)
2. Basile, F., Chiacchio, P., De Tommasi, G.: Improving on-line fault diagnosis for Discrete Event Systems using time. In: IEEE Int. Conf. on Automation Science and Engineering, Scottsdale, USA (2007)
3. Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous Discrete Event Systems, a net unfolding approach. IEEE Transactions on Automatic Control 48(5), 714- 727 (2003)
4. Berthomieu, B.,Menasche, M.: An enumerative approach for analyzing Time Petri Nets. In: Proc. IFIP 9th World Computer Congress, Paris, France (1983)
5. Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of Time Petri Nets. In: Proc. 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Warsaw, Poland (2003)
6. Boufaied, A., Subias, A., Combacau, M.: Distributed time constraints verification modelled with Time Petri Nets. In: Proc. 17th IMACS World Congress, Paris, France (2005)
7. Bouyer, P., Chevalier, F., D'Souza, D.: Fault Diagnosis Using Timed Automata. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 219-233. Springer, Heidelberg (2005)
8. Chatain, T., Jard, C.: Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 196-210. Springer, Heidelberg (2005)
9. Ciardo, G., Miner, A.S.: Storage Alternatives for Large Structured State Spaces. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol. 1245. Springer, Heidelberg (1997)
10. De Schutter, B., De Moor, B.: The Extended Linear Complementarity Problem. Mathematical Programming 71(3), 289-325 (1995)
11. Esparza, J.: Model checking using net unfoldings. Science of Computer Programming 23(2-3), 151-195 (1994)
12. Gardey, G., Roux, O.H., Roux, O.F.: State space computation and analysis of Time Petri Nets. Theory and Practice of Logic Programming 6(3), 301-320 (2006)
13. Genc, S., Lafortune, S.: Distributed diagnosis for DES using Petri Nets. In: Proc. Conf. on Applications and Theory of Petri, Eindhoven, The Netherlands (2003)
14. Ghazel,M., Toguyéni, A., Yim, P.: State observer for DES under partial observation with Time Petri Nets. Discrete Event Dynamic Systems 19(2), 137-165 (2009)
15. Hulgaard, H., Burns, S.M.: Efficient Timing Analysis of a Class of Petri Nets. In:Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 423-436. Springer, Heidelberg (1995)
16. Jiroveanu, G., Boel, R.K.: A distributed approach for fault detection and diagnosis based on Time Petri Nets. Mathematics and Computers in Simulation 70(5-6), 287-313 (2006)
17. Jiroveanu, G., De Schutter, B., Boel, R.K.: In: On-line diagnosis for Time Petri Nets. In: Proc. Int. Workshop on Principles of Diagnosis, Burgos, Spain (2006)
18. Khoumsi, A.: Fault prognosis in real-time Discrete Event Systems. In: Proc. Int. Workshop on Principles of Diagnosis, Stockholm, Sweden (2009)
19. Lilius, J.: Efficient state space search for Time Petri Nets. Electronic Notes in Theoretical Computer Science 18, 113-133 (1998)
20. McMillan, K.L.: Using Unfoldings to Avoid the State Space Explosion Problem in Verification of Asynchronous Circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol. 663, pp. 164-177. Springer, Heidelberg (1993)
21. Merlin, P.: A Study of Recoverability of Computer Science. University of California, Irvine (1974)
22. Ramchandani, C.: Analysis of asynchronous concurrent systems by Timed Petri Nets. Massachusetts Institute of Technology, Project MAC, Technical Report 120 (1974)
23. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of Discrete Event Systems. IEEE Transactions on Automatic Control 40(9), 1555-1575 (1995)
24. Semenov, A., Yakovlev, A.: Verification of asynchronous circuits using Time Petri Net unfolding. In: Proc. 33rd ACM/IEEE Design Automation Conference, Las Vegas, USA (1996)
25. Simeu-Abazia, Z., Di Mascoloa, M., Knotekb, M.: Fault diagnosis for Discrete Event Systems: modelling and verification. Reliability Engineering and System Safety 95(4), 369-378 (2010)
26. Srinivasan, V.S., Jafari, M.A.: Fault detection/monitoring using Time Petri Nets. IEEE Transactions on Systems Managment and Cybernetics 23(4), 1155-1162 (1994)
27. Tripakis, S.: Fault Diagnosis for Timed Automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 205-224. Springer, Heidelberg (2002)
28. Xu, S., Jiang, S., Kumar, R.: Diagnosis of dense-time systems using digital clocks. IEEE Transactions on Automation Science and Engineering 7(4), 870-878 (2010)
29. Wang, J., Deng, Y., Xu, G.: Reachability analysis of real-time systems using Time Petri Nets. IEEE Transactions on SystemsManagment and Cybernetics 30(5), 725-736 (2000)
30. Yoneda, T., Ryuba, H.: CTL model checking of Time Petri Nets using geometric regions. EICE Transaction on Information & Systems E99-D, 1-11 (1998)
31. Zad, S.H., Zwong, S.H., Wonham, W.M.: Fault diagnosis in Discrete Event Systems: framework and model reduction. IEEE Transactions on Automatic Control 48(7), 1199-1212 (2003)