Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis.

Sander Thuijsman Michel A. Reniers Dennis Hendriks

Published in: CASE (2021)

Keyphrases

state space
metadata
artificial neural networks
hidden markov models
user requirements
database
decision making
evolutionary algorithm
multiresolution
application specific