Accelerating parameter synthesis using semi-algebraic constraints

DOI10.1007/978-3-030-34968-4_2MaRDI QIDQ6536345zbMATH OpenFDO

Authors Nikola Beneš, Luboš Brim, Martin Geletka, Samuel Pastva, D. Šafránek

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34968-4_2

zbMATH Keywords

CTLparameter synthesissemi-algebraic set

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30) Systems biology, networks (92C42)

Recommendations

• Parameter Synthesis for Timed Kripke Structures
• Parameter synthesis through temporal logic specifications
• Parameterized synthesis
• Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
• Parameter synthesis of polynomial dynamical systems

Cites work

• \textsc{Rings}: an efficient Java/Scala library for polynomial rings
• A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
• Algorithms for computing minimal unsatisfiable subsets of constraints
• Computing reachable states for nonlinear biological models
• Computing with semi-algebraic sets represented by triangular decomposition
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• dReal: an SMT solver for nonlinear theories over the reals
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
• Hybridization methods for the analysis of nonlinear systems
• On temporal logic and signal processing
• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
• Parameter synthesis through temporal logic specifications
• Polynomial interrupt timed automata
• QEPCAD B
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Reactive synthesis from signal temporal logic specifications
• Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
• Solving systems of strict polynomial inequalities
• STL*: extending signal temporal logic with signal-value freezing operator
• System design of stochastic models using robustness of temporal properties

Cited in

(1)

• Parameter synthesis of polynomial dynamical systems

This page was built for publication: Accelerating parameter synthesis using semi-algebraic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536345)