| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 714229 | IFAC Proceedings Volumes | 2012 | 7 Pages |
Abstract
This paper studies recoverability from faults of concurrent discrete event systems (DESs) through the stability analysis of interpreted Petri nets (IPN) models. First, the class of IPN named Closed–Loop System Model (CLSM), which allows describing modularly the behaviour of controlled DESs is introduced. Then the notion of stability of DESs is presented and a method for analyzing the property in CLSM models is proposed: a sufficient condition for stability and an algorithm for deciding the property are presented.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
