Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata.

Luigi Di Guglielmo Sanjit A. Seshia Tiziano Villa

Published in: FedCSIS (2013)

Keyphrases

control strategies
hybrid automata
control strategy
control system
genetic algorithm
robot arm
traffic management
reinforcement learning
finite state automata
real time
control policies
context free grammars