Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck

Published in: HSCC (2018)

Keyphrases

multi layered
computer systems
dynamical systems
experimental data
computing systems