On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We consider discrete-state plants represented by Controlled Petri nets ((CtlPNs) cf. [3, 1, 2]). A transition in a CtlPN is live if for every marking reachable under supervision, there exists a valid firing sequence that results in a marking under which the said transition can fire (cf. level 4 liveness, section 4.1.4, [5], [4]). A supervisory policy enforces liveness if every transition in the CtlPN is live under supervision. In this paper we show that the existence of a supervisory policy that enforces liveness for an arbitrary CtlPN is undecidable.

Original languageEnglish (US)
Title of host publicationProceedings of the IEEE Conference on Decision and Control
Editors Anon
Pages4439-4444
Number of pages6
StatePublished - Dec 1 1996
EventProceedings of the 35th IEEE Conference on Decision and Control. Part 4 (of 4) - Kobe, Jpn
Duration: Dec 11 1996Dec 13 1996

Publication series

NameProceedings of the IEEE Conference on Decision and Control
Volume4
ISSN (Print)0191-2216

Other

OtherProceedings of the 35th IEEE Conference on Decision and Control. Part 4 (of 4)
CityKobe, Jpn
Period12/11/9612/13/96

    Fingerprint

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Cite this

Sreenivas, R. S. (1996). On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets. In Anon (Ed.), Proceedings of the IEEE Conference on Decision and Control (pp. 4439-4444). (Proceedings of the IEEE Conference on Decision and Control; Vol. 4).