Loading...
Please wait, while we are loading the content...
Similar Documents
On Supervisory Policies that Enforce Liveness in Discrete Event Dynamic Systems Modeled by Partially Controlled Petri Nets (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sreenivas, Ramavarapu |
| 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. 1 Introduction A Controlled Petri net (cf. section 2, [3]) is derived from a PN by using an additional set of controlplaces. Control-arcs are arcs from control places to transitions in a CtlPN. The control places can be thought of as autonomous input places to transitions with a binary token load determined by an external agent, the supervisor. We refer to the "regular" places (i.e. the places that are not control-places) as stateplaces... |
| File Format | |
| Volume Number | 42 |
| Journal | IEEE Transactions on Automatic Control |
| Language | English |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Supervisory Policy Partially Controlled Petri Net Discrete Event Dynamic System Enforce Liveness Control Place Binary Token Load Discrete-state Plant Introduction Controlled Petri Net Supervisory Policy Enforces Arbitrary Ctlpn Valid Firing Sequence Additional Set Controlled Petri Net Regular Place Autonomous Input Place External Agent |
| Content Type | Text |
| Resource Type | Article |
