Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions

John Irvin Alora, Alex A. Gorodetsky, Sertac Karaman, Youssef M. Marzouk, Nathan Lowry. Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 1131-1138, IEEE, 2016. [doi]

Authors

John Irvin Alora

This author has not been identified. Look up 'John Irvin Alora' in Google

Alex A. Gorodetsky

This author has not been identified. Look up 'Alex A. Gorodetsky' in Google

Sertac Karaman

This author has not been identified. Look up 'Sertac Karaman' in Google

Youssef M. Marzouk

This author has not been identified. Look up 'Youssef M. Marzouk' in Google

Nathan Lowry

This author has not been identified. Look up 'Nathan Lowry' in Google