Decentralized Diagnosis of P-Time Petri Nets Systems

被引：0

作者：

Bonhomme, Patrice ^{[1
]}

机构：

[1] Univ Tours, CNRS, ROOT ERL 6305, LI EA 6300, 64 Ave Jean Portalis, F-37200 Tours, France

来源：

2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT) | 2017年

关键词：

Discrete event systems; P-Time Petri nets; Observability; Schedulability Analysis; decentralized diagnosis; DISCRETE-EVENT SYSTEMS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper focuses on the decentralized diagnosis problem of discrete event systems modeled by P-time Petri net with partial information. Indeed, the observation is realized via a set of local sites which can communicate and transmit information to a global coordinator. The proposed method is based on a state observer synthesis and a schedulability analysis technique of particular occurrence sequences. A procedure allowing to determine the diagnosis state of the firing sequences consistent with the current observation is provided and the diagnosability issue is also discussed.

引用

页码：483 / 488

页数：6

共 15 条

[1]

Basile F, 2013, 2013 IEEE 18 C EM TE, P1

[2] Towards a new schedulability technique of real-time systems modeled by P-time Petri nets [J].

Bonhomme, Patrice .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 67 (1-4) :759-769

[3] Scheduling and control of real-time systems based on a token player approach [J].

Bonhomme, Patrice .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (02) :197-209

[4] Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets [J].

Cabasino, Maria Paola ;

Giua, Alessandro ;

Paoli, Andrea ;

Seatzu, Carla .

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06) :1477-1485

[5] Fault detection for discrete event systems using Petri nets with unobservable transitions [J].

Cabasino, Maria Paola ;

Giua, Alessandro ;

Seatzu, Carla .

AUTOMATICA, 2010, 46 (09) :1531-1539

[6] On-line fault detection in discrete event systems by Petri nets and integer linear programming [J].

Dotoli, Mariagrazia ;

Fanti, Maria Pia ;

Mangini, Agostino Marcello ;

Ukovich, Walter .

AUTOMATICA, 2009, 45 (11) :2665-2672

[7]

Fanti M. P., 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems, P168, DOI 10.1109/DCDS.2011.5970336

[8]

Fanti M. P., 2016, IEEE 3 INT C CONTR D

[9] State Observer for DES Under Partial Observation with Time Petri Nets [J].

Ghazel, Mohamed ;

Toguyeni, Armand ;

Yim, Pascal .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (02) :137-165

[10]

Khansa W., 1996, INT WORKSH DISCR EV, V96, P94

← 1 2 →