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

Petri nets
Dynamical systems
Fires

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).

On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets. / Sreenivas, Ramavarapu S.

Proceedings of the IEEE Conference on Decision and Control. ed. / Anon. 1996. p. 4439-4444 (Proceedings of the IEEE Conference on Decision and Control; Vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

Sreenivas, RS 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. Proceedings of the IEEE Conference on Decision and Control, vol. 4, pp. 4439-4444, Proceedings of the 35th IEEE Conference on Decision and Control. Part 4 (of 4), Kobe, Jpn, 12/11/96.
Sreenivas RS. On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets. In Anon, editor, Proceedings of the IEEE Conference on Decision and Control. 1996. p. 4439-4444. (Proceedings of the IEEE Conference on Decision and Control).
Sreenivas, Ramavarapu S. / On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets. Proceedings of the IEEE Conference on Decision and Control. editor / Anon. 1996. pp. 4439-4444 (Proceedings of the IEEE Conference on Decision and Control).
@inbook{5addeb0f23c24b7a8b39f03721d186a3,
title = "On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets",
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.",
author = "Sreenivas, {Ramavarapu S}",
year = "1996",
month = "12",
day = "1",
language = "English (US)",
series = "Proceedings of the IEEE Conference on Decision and Control",
pages = "4439--4444",
editor = "Anon",
booktitle = "Proceedings of the IEEE Conference on Decision and Control",

}

TY - CHAP

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

AU - Sreenivas, Ramavarapu S

PY - 1996/12/1

Y1 - 1996/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030407076&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030407076&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0030407076

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 4439

EP - 4444

BT - Proceedings of the IEEE Conference on Decision and Control

A2 - Anon, null

ER -