Sign in

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.

Lennart SwartjesMichel A. ReniersD. A. van BeekWan J. Fokkink
Published in: WODES (2016)
Keyphrases
  • databases
  • database
  • real time
  • website
  • cooperative
  • relational databases
  • control system
  • initial state
  • finding optimal