Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.

Eric S. Kim Murat Arcak Sanjit A. Seshia

Published in: CAV (1) (2019)

Keyphrases

control system
data sets
high level
lightweight
computationally efficient
robust estimation
control strategy
optimal control
big data
robust stability
control problems
computational power
control method
partial occlusion
expert systems
case study
information systems
data mining