Analyzing Oscillatory Behavior with Formal Methods

DOI10.1007/978-3-662-45489-3_1zbMath1427.92016OpenAlexW110623191MaRDI QIDQ2937728

Thilo Krüger, Alexander Andreychenko, David Spieler

Publication date: 12 January 2015

Published in: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45489-3_1

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Biochemistry, molecular biology (92C40) Biological rhythms and synchronization (92B25)

Related Items (1)

A formal approach for tuning stochastic oscillators

Uses Software

• Matlab
• PRISM
• SHAVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiscale stochastic simulation algorithm with stochastic partial equilibrium assumption for chemically reacting systems
• Oscillations in non-mass action kinetics models of biochemical reaction networks arising from pairs of subnetworks
• Solving the chemical master equation for monomolecular reaction systems analytically
• Query-based verification of qualitative trends and oscillations in biochemical systems
• Asymptotic analysis of multiscale approximations to reaction networks
• Time delays, oscillations, and chaos in physiological control systems
• Uniformization for nonhomogeneous Markov chains
• Fluid stochastic Petri nets: Theory, applications, and solution techniques
• A theory of timed automata
• Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung
• Mathematical biology. Vol. 2: Spatial models and biomedical applications.
• Modeling and querying biomolecular interaction networks
• On-the-fly verification and optimization of DTA-properties for large Markov chains
• A multiple time interval finite state projection algorithm for the solution to the chemical master equation
• Model checking expected time and expected reward formulae with random time bounds
• On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains
• Stochastic hybrid systems for studying biochemical processes
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• Approximating Continuous Systems by Timed Automata
• On the Computational Power of Biochemistry
• Sliding Window Abstraction for Infinite Markov Chains
• Hybrid Stochastic--Deterministic Solution of the Chemical Master Equation
• Modeling and analysis of mass-action kinetics
• Analysing Biochemical Oscillation through Probabilistic Model Checking
• Model Checking Biological Oscillators
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Magnifying-Lens Abstraction for Markov Decision Processes
• Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
• Computer Aided Verification

This page was built for publication: Analyzing Oscillatory Behavior with Formal Methods