Login / Signup
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.
Liyong Lin
Alin Stefanescu
Weilin Wang
Rong Su
Walter Murray Wonham
Published in:
Autom. (2018)
Keyphrases
</>
reachability analysis
model checking
control system
low cost
markov decision processes
artificial intelligence
video sequences
state space
steady state
optimal control
symbolic representation