Effective control of logical discrete event systems in a trace theory setting using the reflection operator
Keyword(s):
2009 ◽
Vol 48
(3)
◽
pp. 1858-1887
◽
Keyword(s):
Keyword(s):
2021 ◽
pp. 1-15
Keyword(s):