Automatic synthesis of a subclass of schedulers in timed systems.

Padmanabhan Krishnan

Published in: Theor. Comput. Sci. (2003)

Keyphrases

evolutionary algorithm
genetic algorithm
expert systems
distributed systems
finite state machines
databases
neural network
fully automatic
real world
information retrieval
learning algorithm
decision making
knowledge base
multi agent systems
management system
computer systems