Timed Control Synthesis for External Specifications.

Deepak D'Souza P. Madhusudan

Published in: STACS (2002)

Keyphrases

control system
high level
artificial intelligence
control method
finite state machines
functional requirements
control theory
discrete event
neural network
information retrieval
social networks
website
evolutionary algorithm
model checking
formal specification
robot control