Loading [a11y]/accessibility-menu.js
Deadlock characterization for Petri nets control using GMEC's and observers | IEEE Conference Publication | IEEE Xplore

Deadlock characterization for Petri nets control using GMEC's and observers


Abstract:

In this paper we deal with the problem of controlling a Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of en...Show More

Abstract:

In this paper we deal with the problem of controlling a Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all the transitions are assumed to be controllable. Clearly, the use of marking estimates may significantly reduce the performance of the closed-loop system and may lead to a deadlock. If the net times out, i.e., if no transition firing occurs within a reasonable amount of time in the controlled system, an efficient procedure may be invoked to recover the net from a controller induced deadlock. The novel contribution of this paper is that of exploring in detail the characterization of those cases in which the proposed recovery procedure works.
Date of Conference: 04-06 June 2003
Date Added to IEEE Xplore: 27 October 2003
Print ISBN:0-7803-7896-2
Print ISSN: 0743-1619
Conference Location: Denver, CO, USA

References

References is not available for this document.