Critical observability corresponds to an important property of the safety-critical applications of cyber-physical systems. This work formalizes and handles the problem of critical observability for labeled Petri nets with unknown initial marking. In this system setting, part (none) of the places are observable at the initial marking, i.e, the initial marking is uncertain. A sufficient condition is presented as a main result for checking the critical observability for such a kind of net system. For this purpose, we define and solve some integer linear programming problems. Furthermore, some experiments are implemented and show the validity of the presented method.
Critical Observability of Petri Nets with Unknown Initial Marking / Cong, Xuya; Fanti, Maria Pia; Mangini, Agostino M.; Li, Zhiwu. - ELETTRONICO. - (2019), pp. 9030221.2003-9030221.2008. (Intervento presentato al convegno 58th IEEE Conference on Decision and Control, CDC 2019 tenutosi a Nice, France nel December 11-13, 2019) [10.1109/CDC40024.2019.9030221].
Critical Observability of Petri Nets with Unknown Initial Marking
Maria Pia Fanti;Agostino M. Mangini;
2019-01-01
Abstract
Critical observability corresponds to an important property of the safety-critical applications of cyber-physical systems. This work formalizes and handles the problem of critical observability for labeled Petri nets with unknown initial marking. In this system setting, part (none) of the places are observable at the initial marking, i.e, the initial marking is uncertain. A sufficient condition is presented as a main result for checking the critical observability for such a kind of net system. For this purpose, we define and solve some integer linear programming problems. Furthermore, some experiments are implemented and show the validity of the presented method.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.