Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.

Published in: CoRR (2021)

Keyphrases

timed automata
model checking
control system
reachability analysis
data mining
control method
data sets
information retrieval
mobile robot
optimal control
finite state machines