Analyzing oscillatory behavior with formal methods
From MaRDI portal
Recommendations
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- scientific article; zbMATH DE number 3850870
- Engineering entrainment and adaptation in limit cycle systems
- Analysing biochemical oscillation through probabilistic model checking
- Qualitative analysis of mammalian circadian oscillations: cycle dynamics and robustness
Cites work
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 4029331 (Why is no real title available?)
- scientific article; zbMATH DE number 3806623 (Why is no real title available?)
- scientific article; zbMATH DE number 1884411 (Why is no real title available?)
- scientific article; zbMATH DE number 1429792 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 3082073 (Why is no real title available?)
- A multiple time interval finite state projection algorithm for the solution to the chemical master equation
- A theory of timed automata
- Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
- Analysing biochemical oscillation through probabilistic model checking
- Approximating Continuous Systems by Timed Automata
- Asymptotic analysis of multiscale approximations to reaction networks
- Computer Aided Verification
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Hybrid stochastic-deterministic solution of the chemical master equation
- Magnifying-Lens Abstraction for Markov Decision Processes
- Mathematical biology. Vol. 2: Spatial models and biomedical applications.
- Model checking biological oscillators
- Model checking expected time and expected reward formulae with random time bounds
- Modeling and analysis of mass-action kinetics
- Modeling and querying biomolecular interaction networks
- Multiscale stochastic simulation algorithm with stochastic partial equilibrium assumption for chemically reacting systems
- On the Computational Power of Biochemistry
- On the numerical analysis of inhomogeneous continuous-time Markov chains
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- Oscillations in non-mass action kinetics models of biochemical reaction networks arising from pairs of subnetworks
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Sliding Window Abstraction for Infinite Markov Chains
- Solving the chemical master equation for monomolecular reaction systems analytically
- Stochastic hybrid systems for studying biochemical processes
- The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Time delays, oscillations, and chaos in physiological control systems
- Uniformization for nonhomogeneous Markov chains
- Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung
Cited in
(4)- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- Modelling oscillating living systems: cell energy metabolism as weighted networks of nonautonomous oscillators
- A comparison between stochastic and deterministic models of a biological oscillator
- A formal approach for tuning stochastic oscillators
This page was built for publication: Analyzing oscillatory behavior with formal methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937728)
