ABS: A formally correct software tool for space-efficient symbolic synthesis
DOI10.1145/3501710.3519519OpenAlexW4225411466MaRDI QIDQ6120714
Unnamed Author, Gunther Reißig, Alexander Weber
Publication date: 21 February 2024
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3501710.3519519
round-off errorfloating-point arithmeticcontroller synthesisNumerical errorstatic program analysisrounding errordiscrete abstractionsymbolic modelformal correctnessapplication specific compileron-the-fly synthesis
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Control: a perspective
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Validated solutions of initial value problems for ordinary differential equations
- Differential equations. Classical to controlled
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- SCOTS
- Evaluating Derivatives
- MPFR
- Handbook of Floating-Point Arithmetic
- Verification and Control of Hybrid Systems
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
- ROCS
- Optimized State Space Grids for Abstractions
- Resilient abstraction-based controller design
- Symbolic Optimal Control
- pFaces
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Computing Abstractions of Nonlinear Systems
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
- On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees
This page was built for publication: ABS: A formally correct software tool for space-efficient symbolic synthesis
