skip to main content
10.1145/3178126.3187005acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
poster
Public Access

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

Published: 11 April 2018 Publication History

Abstract

No abstract available.

References

[1]
F. Gruber, E. Kim, and M. Arcak. 2017. Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC).
[2]
E. S. Kim, M. Arcak, and M. Zamani. 2018. Constructing Control System Abstractions from Modular Components. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC '18).
[3]
S. Mouelhi, A. Girard, and G. Gössler. 2013. CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions. In 16th International Conference on Hybrid Systems: Computation and Control (HSCC '13). 83--88.
[4]
M. Rungger and M. Zamani. 2016. SCOTS: A Tool for the Synthesis of Symbolic Controllers. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (HSCC '16). ACM, New York, NY, USA, 99--104.
[5]
F. Somenzi. 2015. CUDD: CU Decision Diagram Package. http://vlsi.colorado.edu/~fabio/CUDD/. (2015). Version 3.0.0.
[6]
T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray. 2011. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning. In 14th International Conference on Hybrid Systems: Computation and Control (HSCC '11).

Cited By

View all
  • (2023)On-the-Fly Symbolic Synthesis With Memory Reduction GuaranteesIEEE Transactions on Automatic Control10.1109/TAC.2022.318848368:4(2576-2583)Online publication date: Apr-2023
  • (2020)Guaranteed memory reduction in synthesis of correct-by-design invariance controllersIFAC-PapersOnLine10.1016/j.ifacol.2020.12.156753:2(5561-5566)Online publication date: 2020

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
April 2018
296 pages
ISBN:9781450356428
DOI:10.1145/3178126
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 April 2018

Check for updates

Author Tags

  1. Finite Abstractions
  2. Parallelization
  3. Sparse Structures
  4. Symbolic Controllers

Qualifiers

  • Poster
  • Research
  • Refereed limited

Funding Sources

Conference

HSCC '18
Sponsor:

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)50
  • Downloads (Last 6 weeks)9
Reflects downloads up to 02 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2023)On-the-Fly Symbolic Synthesis With Memory Reduction GuaranteesIEEE Transactions on Automatic Control10.1109/TAC.2022.318848368:4(2576-2583)Online publication date: Apr-2023
  • (2020)Guaranteed memory reduction in synthesis of correct-by-design invariance controllersIFAC-PapersOnLine10.1016/j.ifacol.2020.12.156753:2(5561-5566)Online publication date: 2020

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media