Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets
This paper deals with the problem of identifying a Petri net that models the unobservable behavior of a system from the knowledge of its dynamical evolution. We assume that a partial Petri net model that represents the observable behavior of a system is given in which all the transitions are observa...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2019-01-01
|
Series: | Journal of Control Science and Engineering |
Online Access: | http://dx.doi.org/10.1155/2019/2895685 |
id |
doaj-633a5de0cbad4cd299a3bf50228e5c24 |
---|---|
record_format |
Article |
spelling |
doaj-633a5de0cbad4cd299a3bf50228e5c242020-11-24T22:10:08ZengHindawi LimitedJournal of Control Science and Engineering1687-52491687-52572019-01-01201910.1155/2019/28956852895685Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri NetsGuanghui Zhu0Ya Wang1Yajie Wang2School of Information Engineering, Xuchang University, Xuchang 461000, ChinaSchool of Information Engineering, Xuchang University, Xuchang 461000, ChinaSchool of Mathematics and Statistics, North China University of Water Resources and Electric Power, Zhengzhou 450046, ChinaThis paper deals with the problem of identifying a Petri net that models the unobservable behavior of a system from the knowledge of its dynamical evolution. We assume that a partial Petri net model that represents the observable behavior of a system is given in which all the transitions are observable. An identifier monitors the system evolution and records the observed transition sequence (and possible corresponding markings). Some unobservable transitions modeling the unknown system behavior are identified from the transition sequence by formulating and solving integer linear programming problems. These identified unobservable transitions together with the given partial Petri net model characterize the whole system, including observable and unobservable behavior. Two different cases are considered. First, we assume that no place is observable. In such a case, a transition sequence is observed only during the evolution of the system. Second, we assume that a subset of places is observable; i.e., the observation contains not only the transition sequence but the corresponding markings as well. Hence an additional constraint should be imposed on the unobservable transition in the related programming problems according to the observed markings such that a more authentic unobservable transition can be found.http://dx.doi.org/10.1155/2019/2895685 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Guanghui Zhu Ya Wang Yajie Wang |
spellingShingle |
Guanghui Zhu Ya Wang Yajie Wang Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets Journal of Control Science and Engineering |
author_facet |
Guanghui Zhu Ya Wang Yajie Wang |
author_sort |
Guanghui Zhu |
title |
Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets |
title_short |
Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets |
title_full |
Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets |
title_fullStr |
Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets |
title_full_unstemmed |
Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets |
title_sort |
model identification of unobservable behavior of discrete event systems using petri nets |
publisher |
Hindawi Limited |
series |
Journal of Control Science and Engineering |
issn |
1687-5249 1687-5257 |
publishDate |
2019-01-01 |
description |
This paper deals with the problem of identifying a Petri net that models the unobservable behavior of a system from the knowledge of its dynamical evolution. We assume that a partial Petri net model that represents the observable behavior of a system is given in which all the transitions are observable. An identifier monitors the system evolution and records the observed transition sequence (and possible corresponding markings). Some unobservable transitions modeling the unknown system behavior are identified from the transition sequence by formulating and solving integer linear programming problems. These identified unobservable transitions together with the given partial Petri net model characterize the whole system, including observable and unobservable behavior. Two different cases are considered. First, we assume that no place is observable. In such a case, a transition sequence is observed only during the evolution of the system. Second, we assume that a subset of places is observable; i.e., the observation contains not only the transition sequence but the corresponding markings as well. Hence an additional constraint should be imposed on the unobservable transition in the related programming problems according to the observed markings such that a more authentic unobservable transition can be found. |
url |
http://dx.doi.org/10.1155/2019/2895685 |
work_keys_str_mv |
AT guanghuizhu modelidentificationofunobservablebehaviorofdiscreteeventsystemsusingpetrinets AT yawang modelidentificationofunobservablebehaviorofdiscreteeventsystemsusingpetrinets AT yajiewang modelidentificationofunobservablebehaviorofdiscreteeventsystemsusingpetrinets |
_version_ |
1725809135159607296 |