On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
2020 ◽
Vol 4
(3)
◽
pp. 530-535
◽
Keyword(s):
1992 ◽
Vol 37
(12)
◽
pp. 1921-1935
◽
2005 ◽
Vol 35
(2)
◽
pp. 366-371
◽