论文信息 - Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms

ACM Reference Format: Eric S. Kim, Murat Arcak and Mahmoud Khaled, Majid Zamani. 2018. Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. In HSCC ’18: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), April 11–13, 2018, Porto, Portugal. ACM, New York, NY, USA, 3 pages. https://doi.org/10.1145/3178126.3187005

[1] Majid Zamani,et al. SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.

[2] Ufuk Topcu,et al. TuLiP: a software toolbox for receding horizon temporal logic planning , 2011, HSCC '11.

[3] Murat Arcak,et al. Sparsity-aware finite abstraction , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[4] Antoine Girard,et al. CoSyMA: a tool for controller synthesis using multi-scale abstractions , 2013, HSCC '13.

[5] Majid Zamani,et al. Constructing Control System Abstractions from Modular Components , 2018, HSCC.