Compositional abstraction refinement for control synthesis under lasso-shaped specifications.

Pierre-Jean Meyer Dimos V. Dimarogonas

Published in: ACC (2017)

Keyphrases

high level
feature selection
control system
control strategy
variable selection
control theory
information retrieval
decision trees
linear regression
process control
control problems