Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.
Eric S. KimMurat ArcakSanjit A. SeshiaPublished in: CoRR (2019)
Keyphrases
- control method
- robotic systems
- database
- program synthesis
- computationally tractable
- high level
- search algorithm
- computational power
- control system
- lightweight
- robust stability
- adaptive control
- parameter tuning
- computationally efficient
- cloud computing
- user interface
- video sequences
- social networks
- information retrieval
- data mining