Control synthesis for parametric timed automata under reachability.

Ebru Aydin Göl

Published in: Turkish J. Electr. Eng. Comput. Sci. (2021)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
state space
control system
control method
artificial intelligence
control theory
reinforcement learning
decision trees
neural network
theorem proving
adaptive control
process control
robot control
genetic algorithm