当前位置:
X-MOL 学术
›
IEEE Trans. Autom. Control
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
IEEE Transactions on Automatic Control ( IF 6.8 ) Pub Date : 2024-04-26 , DOI: 10.1109/tac.2024.3394313 Wei Ren 1 , Raphaël M. Jungers 2 , Dimos V. Dimarogonas 3
中文翻译:
用于线性时态逻辑规范的基于 Zonotope 的符号控制器综合
更新日期:2024-04-26
IEEE Transactions on Automatic Control ( IF 6.8 ) Pub Date : 2024-04-26 , DOI: 10.1109/tac.2024.3394313 Wei Ren 1 , Raphaël M. Jungers 2 , Dimos V. Dimarogonas 3
Affiliation
中文翻译:
用于线性时态逻辑规范的基于 Zonotope 的符号控制器综合