Abstract | ||
---|---|---|
In this paper, we deal with the problem of critical observability for discrete event systems modeled by labeled safe Petri nets (PNs). Critical observability is a property originated from the safety-critical applications of cyber-physical systems. For the purpose to check this property of a PN model, it is necessary to detect whether the current state of the net system is, or is not in a set of critical states representing dangerous operations. The main results of the work is to propose a necessary and sufficient condition for checking the critical observability in safe PNs when the set of critical states is modeled by an arbitrary set of reachable markings. The proposed method exploits the solution of integer linear programming problems. Finally, several examples are discussed to demonstrate the efficiency of the proposed approach. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/CDC.2018.8618990 | 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC) |
Keywords | Field | DocType |
Critical observability, discrete event system, safe Petri net, integer linear programming | Mathematical optimization,Discrete event system,Observability,Petri net,Computer science,Exploit,Integer programming | Conference |
ISSN | Citations | PageRank |
0743-1546 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xuya Cong | 1 | 0 | 0.68 |
Maria Pia Fanti | 2 | 645 | 76.96 |
Agostino Marcello Mangini | 3 | 159 | 23.51 |
Zhi Wu Li | 4 | 470 | 38.43 |