Fault model identification and synthesis in Petri nets

Discrete Event Dynamic Systems: Theory and Applications

Volumn 25, Issue 3, 2015, Pages 419-440

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a,b   Hadjicostis, Christoforos N ^c,d   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b AIX MARSEILLE UNIV   (France)

^c UNIVERSITY OF CYPRUS   (Cyprus)

^d United States of America   (United States)

Author keywords

Discrete event systems; Fault detection; Identification; Petri nets; Synthesis

Indexed keywords

FAULT DETECTION; IDENTIFICATION (CONTROL SYSTEMS); INTEGER PROGRAMMING; PETRI NETS; SYNTHESIS (CHEMICAL);

FAULT IDENTIFICATIONS; LINEAR INTEGER PROGRAMMING; MODEL-BASED OPC; PETRI NET SYSTEMS; PHYSICAL CONSTRAINTS; PROBLEM FORMULATION; SYNTHESIS PROBLEMS; SYSTEM MODELING;

DISCRETE EVENT SIMULATION;

EID: 84928708200     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-014-0190-x     Document Type: Article

References (19)

1. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In: Lecture notes in computer science, vol 915. pp 647–679
2. Badouel E, Darondeau P (1998) Theory of regions. In: Lecture notes in computer science, vol 1491. pp 529–586
3. Basile F, Chiacchio P, Coppola J, De Tommasi G (2011). Identification of Petri nets using timing information. In: 3rd international workshop on dependable control of discrete systems. Saarbrücken, Germany
4. Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics and constraints. Automatica 35(3):407–429
5. Bergenthum R, Desel J, Lorenz R, Mauser S (2008). Synthesis of Petri nets from infinite partial languages. In: Proceedings 8th international conference on application of concurrency to system design. Xi’an
6. Cabasino MP, Darondeau P, Fanti MP, Seatzu C (2014) Model identification and synthesis of discrete-event systems. Contemporary issues in system science and engineering. IEEE/Wiley Press Book Series
7. Cabasino MP, Giua A, Hadjicostis CN, Seatzu C (2008). Fault model identification with Petri nets. In: Proceedings 9th IFAC work. on discrete event systems. Gotheborg
8. Cabasino MP, Giua A, Seatzu C (2007) Identification of Petri nets from knowledge of their language. Discret. Events Dyn Syst 17(4):447–474
9. Carmona J, Cortadella J, Kishinevsky A, Lavagno L, Kondratyev A, Yakovlev A (2008) A symbolic algorithm for the synthesis of bounded Petri nets. In: Proceedings international conference on application and theory of Petri nets and other models of concurrency. Xian
10. Corona D, Giua A, Seatzu C (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Autom Control 52(9):1695–1699
11. Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A (1998) Deriving Petri nets from finite transition systems. IEEE Trans Comput 47(8):859–882
12. Dotoli M, Fanti MP, Mangini AM (2008) Real time identification of discrete event systems using Petri nets. Automatica 44(5):1209–1219
13. Dotoli M, Fanti MP, Mangini AM, Ukovich W (2009) Identification of DES unobservable behaviour by Petri nets. In: Proceedings 2nd IFAC workshop on dependable control of discrete systems. Bari
14. Ehrenfeucht A, Rozenberg G (1989) Partial (Set) 2-Structures - Part 1 and Part 2. Acta Informatica 27(4):315–368
15. Lorenz R, Juhás G, Mauser S (2007) How to synthesize nets from languages – a survey. In: Proceedings 2007 winter simulation conference. Washington
16. Lorenz R, Juhás G (2006) Towards synthesis of Petri nets from scenarios. In: Lecture notes in computer science, vol 4024. pp 302–321
17. Meda-Campaña ME, López-Mellado E (2002) Incremental synthesis of Petri net models for identification of discrete event systems. In Proceedings 41th IEEE conference on decision and control. Las Vegas
18. Meda-Campaña ME, López-Mellado E (2003). Required event sequences for identification of discrete event systems. In: Proceedings 42th IEEE conference on decision and control. Maui, pp 3778–3783
19. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580