Predicates and predicate transformers for supervisory control of discrete event dynamical systems
1993 ◽
Vol 38
(2)
◽
pp. 232-247
◽
1995 ◽
Vol 33
(2)
◽
pp. 419-439
◽
1997 ◽
Vol 28
(10)
◽
pp. 1001-1009
2008 ◽
Vol 16
(8)
◽
pp. 1004-1021
◽
1999 ◽
Vol 30
(4)
◽
pp. 395-405
◽