Compositional abstraction refinement for control synthesis.

Pierre-Jean Meyer Dimos V. Dimarogonas

Published in: CoRR (2017)

Keyphrases

control theory
control strategy
control system
control structure
control method
case study
high level
multiscale
data abstraction
artificial neural networks
data structure
machine learning
three dimensional
decision trees
metadata
decision making
computer vision