Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions.
Conference
·
OSTI ID:1414726
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1414726
- Report Number(s):
- SAND2016-12690C; 649971
- Resource Relation:
- Conference: Proposed for presentation at the 55th Conference on Decision and Control held December 12-14, 2016 in Las Vegas, NV.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Low-Rank Functional Tensor Train Representations for High-Dimensional Computational Models.
ENLA Seminar: Practical Leverage-Based Sampling for Low-Rank Tensor Decomposition.
Practical Leverage Score-Based Sampling for Low-Rank Tensor Decompositions.
Conference
·
Sat Jun 01 00:00:00 EDT 2019
·
OSTI ID:1414726
ENLA Seminar: Practical Leverage-Based Sampling for Low-Rank Tensor Decomposition.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1414726
Practical Leverage Score-Based Sampling for Low-Rank Tensor Decompositions.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1414726