Login / Signup
Designing operational control architectures of critical systems by reachability analysis.
Thibault Lemattre
Bruno Denis
Jean-Marc Faure
Jean-François Pétin
Patrick Salaün
Published in:
CASE (2011)
Keyphrases
</>
reachability analysis
autonomous systems
distributed systems
markov decision processes
expert systems
control system
computer systems
complex systems
control strategies
mechanical systems
reinforcement learning
low cost
model checking
control method
managerial decision making