A formal approach for tuning stochastic oscillators
From MaRDI portal
Publication:6118950
DOI10.1007/978-3-031-42697-1_1OpenAlexW4386548937MaRDI QIDQ6118950
Paul-Henry Cournède, Mahmoud Bentriou, Paolo Ballarini
Publication date: 28 February 2024
Published in: Computational Methods in Systems Biology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-42697-1_1
parameter estimationapproximate Bayesian computationstochastic oscillatorshybrid automata stochastic logicstatistical model-checking
Formal languages and automata (68Q45) Systems biology, networks (92C42) Biological rhythms and synchronization (92B25)
Cites Work
- Smoothed model checking for uncertain continuous-time Markov chains
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- An adaptive sequential Monte Carlo method for approximate Bayesian computation
- Approximate Bayesian computational methods
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Modeling and querying biomolecular interaction networks
- ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks
- Stochastic oscillators in biology: introduction to the special issue
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Reachability design through approximate Bayesian computation
- Analyzing Oscillatory Behavior with Formal Methods
- Adaptive approximate Bayesian computation
- Handbook of Approximate Bayesian Computation
- Analysing Biochemical Oscillation through Probabilistic Model Checking
This page was built for publication: A formal approach for tuning stochastic oscillators
