Guided Synthesis of Control Programs Using UPPAAL.

Thomas Hune Kim Guldstrand Larsen Paul Pettersson

Published in: Nord. J. Comput. (2001)

Keyphrases

control program
control structures
control system
controller synthesis
functional programs
model checking
texture synthesis
program synthesis
adaptive control
real time
process control
control theory
temporal logic
expert systems
website
e learning
data sets