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

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets'. Together they form a unique fingerprint.

Cite this