Sign in
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.
Lennart Swartjes
Michel A. Reniers
D. A. van Beek
Wan J. Fokkink
Published in:
WODES (2016)
Keyphrases
</>
databases
database
real time
website
cooperative
relational databases
control system
initial state
finding optimal