Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.

Published in: ECC (2021)

Keyphrases

timed automata
control method
control system
process control
model checking
data acquisition
optimal control
reachability analysis
neural network
information systems
control strategy
parametric models
control theory
real time
formal specification
operational semantics