Login / Signup

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.

Liyong LinAlin StefanescuWeilin WangRong SuWalter 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