On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets

DOI10.1109/9.599972zbMath0887.93002OpenAlexW2105090403MaRDI QIDQ4361121

Ramavarapu S. Sreenivas

Publication date: 14 December 1997

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/55d3067c9430b50e8009fb475995cd931a1297ac

zbMATH Keywords

livenesssupervisorcontrolled Petri netsminimally restrictive supervisory policy

Mathematics Subject Classification ID

Hierarchical systems (93A13) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (10)

Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ Unnamed Item ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Synthesis of controllers for symmetric systems ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach ⋮ Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ Supervisory Control of Petri Nets with Language Specifications

This page was built for publication: On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets