![](/img/cover-not-exists.png)
[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Language-guided controller synthesis for discrete-time linear systems
Aydin Gol, Ebru, Lazar, Mircea, Belta, CalinYear:
2012
Language:
english
DOI:
10.1145/2185632.2185649
File:
PDF, 714 KB
english, 2012