Approximately Bisimilar Symbolic Models for Digital Control Systems
Abstract elided by the publisher.
Related papers
- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach TACAS 2019
- Formal Verification of Digital Circuits Using Symbolic Ternary System Models CAV 1990
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Minimization Algorithm for Symbolic Bisimilarity ESOP 2009
- Bisimilarity for a First-Order Calculus of Objects with Subtyping POPL 1996
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Digital Bifurcation Analysis of TCP Dynamics TACAS 2019
- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs TACAS 2016