Abstract
This article deals with the problem of discovering a Petri net (PN) model of a discrete-event system, starting from the observation of long-event sequences. Precisely, given an interpreted PN (IPN) system modeling the relations between input and output events of the system (i.e., the reactive/observable behavior), the internal state evolutions of the system (i.e., the unobservable behavior) are first discovered and then modeled. The proposed unobservable discovery takes advantage of the novel concept of interpreted sequences, which better characterize the system and model the behavior by considering both observable markings (outputs) and transition firings (inputs). The unobservable modeling is approached as a net synthesis problem. It relies on an optimization-based procedure that identifies the complementary structure; in particular, places only are added to the original model. Note to Practitioners —Black-box identification procedures process an input–output sequence recorded for a long period of time during the functioning of a closed-loop controlled system, and then return a model of the system. However, even if these models simulate well the recorded sequence, they are not very accurate. Indeed, they simulate also other sequences that, in general, are not admitted by the real system. The method proposed here aims to make more accurate these models by discovering the unobservable behavior of a controlled system, related to evolutions of the internal state (and variables) of the system without changing the capability of simulating the observed behavior.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: IEEE Transactions on Automation Science and Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.