Synthesis of Distributed Control through Knowledge Accumulation
No abstract available.
Related papers
- SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings SLE 2026
- POSTER: An Infrastructure for HPC Knowledge Sharing and Reuse PPoPP 2017
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis CAV 2019
- POSTER: Distributed Control: The Benefits of Eliminating Global Synchronization via Effective Scheduling PPoPP 2017
- Dynamic Binary Translation for Accumulator-Oriented Architectures CGO 2003
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- Parameterized Synthesis with Safety Properties APLAS 2020