Reachability analysis for a class of quantized control systems.

Alessia Marigo Benedetto Piccoli Antonio Bicchi

Published in: CDC (2000)

Keyphrases

reachability analysis
control system
markov decision processes
state space
model checking
timed automata
artificial intelligence
control strategy