Synthesising Controllers from Real-Time Specifications.

Published in: ISSS (1997)

Keyphrases

real time
control system
low cost
specification language
decision trees
control scheme
control loop
real time systems
graphics processing units
moving target
software engineering
mobile devices
multi agent
website
image processing
machine learning
data sets