Mutually nonblocking supervisory control
β
M. Fabian; R. Kumar
π
Article
π
2000
π
Elsevier Science
π
English
β 154 KB
A single maximally permissive and nonblocking supervisor to simultaneously ful"ll several marked speci"cations pertaining to a single plant is investigated. Given a plant G and two marked speci"cation languages K and K , a supervisor S is said to be (K , K )-mutually nonblocking if (for i, j"1,2) ΒΈ(