![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions
Alora, John Irvin, Gorodetsky, Alex, Karaman, Sertac, Marzouk, Youssef, Lowry, NathanYear:
2016
Language:
english
DOI:
10.1109/CDC.2016.7798419
File:
PDF, 813 KB
english, 2016