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

Details

Language :

English

ISBNs :

9781509018376

Database :

Complementary Index

Journal :

2016 IEEE 55th Conference on Decision & Control (CDC)

Publication Type :

Conference

Accession number :

120872210

Full Text :

https://doi.org/10.1109/CDC.2016.7798419