Parameter synthesis through temporal logic specifications
From MaRDI portal
Publication:5206952
DOI10.1007/978-3-319-19249-9_14zbMATH Open1427.68164OpenAlexW1134528556MaRDI QIDQ5206952FDOQ5206952
Authors: Thao Dang, Tommaso Dreossi, Carla Piazza 
Publication date: 19 December 2019
Published in: FM 2015: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19249-9_14
Recommendations
- Parameter synthesis for polynomial biological models
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Precise parameter synthesis for stochastic biochemical systems
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Proceedings of the 1st international workshop on synthesis of continuous parameters, SynCoP'14, Grenoble, France, April 6, 2014
Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
- System design of stochastic models using robustness of temporal properties
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- The basic reproductive number of Ebola and the effects of public health measures: the cases of Congo and Uganda
- Some discrete-time SI, SIR, and SIS epidemic models
- Robustness of temporal logic specifications for continuous-time signals
- Bifurcations for a deterministic SIR epidemic model in discrete time
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parameter synthesis for polynomial biological models
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Mining requirements from closed-loop control models
- Synthesis of timing parameters satisfying safety properties
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
- Analog property checkers: a DDR2 case study
- ODE Analysis of Biological Systems
Cited In (12)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Theoretical Computer Science
- Parameter Synthesis for Timed Kripke Structures
- Temporal logic based synthesis of experimentally constrained interaction networks
- Adaptive directions for Bernstein-based polynomial set evolution
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Parameter synthesis of polynomial dynamical systems
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Synthesis of parametric hybrid automata from time series
- Accelerating parameter synthesis using semi-algebraic constraints
- Reachability computation for polynomial dynamical systems
This page was built for publication: Parameter synthesis through temporal logic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5206952)
