Parameter synthesis through temporal logic specifications
From MaRDI portal
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
Cites work
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- Analog property checkers: a DDR2 case study
- Bifurcations for a deterministic SIR epidemic model in discrete time
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
- Mining requirements from closed-loop control models
- Model checking
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
- ODE Analysis of Biological Systems
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Parameter synthesis for polynomial biological models
- Robustness of temporal logic specifications for continuous-time signals
- Some discrete-time SI, SIR, and SIS epidemic models
- Synthesis of timing parameters satisfying safety properties
- System design of stochastic models using robustness of temporal properties
- The basic reproductive number of Ebola and the effects of public health measures: the cases of Congo and Uganda
Cited in
(15)- Parameter synthesis of polynomial dynamical systems
- Combining refinement of parametric models with goal-oriented reduction of dynamics
- Parameter Synthesis for Timed Kripke Structures
- Parameter synthesis for polynomial biological models
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- 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
- Reachability computation for polynomial dynamical systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Theoretical Computer Science
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Temporal logic based synthesis of experimentally constrained interaction networks
- Synthesis of parametric hybrid automata from time series
- Accelerating parameter synthesis using semi-algebraic constraints
- Adaptive directions for Bernstein-based polynomial set evolution
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)
