Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Damped Oscillations01:07

Damped Oscillations

7.5K
In the real world, oscillations seldom follow true simple harmonic motion. A system that continues its motion indefinitely without losing its amplitude is termed undamped. However, friction of some sort usually dampens the motion, so it fades away or needs more force to continue. For example, a guitar string stops oscillating a few seconds after being plucked. Similarly, one must continually push a swing to keep a child swinging on a playground.
Although friction and other non-conservative...
7.5K
Oscillations about an Equilibrium Position01:04

Oscillations about an Equilibrium Position

7.1K
Stability is an important concept in oscillation. If an equilibrium point is stable, a slight disturbance of an object that is initially at the stable equilibrium point will cause the object to oscillate around that point. For an unstable equilibrium point, if the object is disturbed slightly, it will not return to the equilibrium point. There are three conditions for equilibrium points—stable, unstable, and half-stable. A half-stable equilibrium point is also unstable, but is named so...
7.1K
One-Degree-of-Freedom System01:24

One-Degree-of-Freedom System

890
In mechanical engineering, one-degree-of-freedom systems form the basis of a wide range of electrical and mechanical components. Using these models, engineers can predict the behavior of various parts in a larger system, which gives them insight into how different forces interact with each other.
A one-degree-of-freedom system is defined by an independent variable that determines its state and behavior. One example of a one-degree-of-freedom system is a simple harmonic oscillator, such as a...
890
Forced Oscillations01:06

Forced Oscillations

8.2K
When an oscillator is forced with a periodic driving force, the motion may seem chaotic. The motions of such oscillators are known as transients. After the transients die out, the oscillator reaches a steady state, where the motion is periodic, and the displacement is determined.
8.2K
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

383
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
383
Limits with Oscillating Discontinuities01:19

Limits with Oscillating Discontinuities

584
An oscillating discontinuity is a type of discontinuity in which a function’s values fluctuate infinitely often as the input approaches a particular point. Unlike jump discontinuities, where the function suddenly shifts between two values, or infinite discontinuities, where the function diverges without bound, an oscillating discontinuity arises from rapid back-and-forth variation. Because the function never stabilizes toward a single value, no finite limit exists at that point.One of the...
584

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Gene network inference from single-cell omics data and domain knowledge for constructing COVID-19-specific <i>ICAM1</i>-associated pathways.

Frontiers in genetics·2023
Same author

Acute mitral regurgitation after non-ischemic papillary muscle rupture: A case report.

Journal of cardiology cases·2022
Same author

Explainable Model Fusion for Customer Journey Mapping.

Frontiers in artificial intelligence·2022
Same author

Similar one-year primary patency rates of common femoral artery angioplasty alone when performed utilizing drug-coated versus noncoated balloons for the treatment of peripheral artery disease.

Vascular medicine (London, England)·2022
Same author

Comparative pathological findings between coronary bare-metal stent implantation and balloon angioplasty over 16 years.

Journal of cardiology cases·2021
Same author

Modeling viral dynamics in SARS-CoV-2 infection based on differential equations and numerical analysis.

Heliyon·2021

Related Experiment Video

Updated: Mar 15, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.7K

Analyzing resilience properties in oscillatory biological systems using parametric model checking.

Alexander Andreychenko1, Morgan Magnin2, Katsumi Inoue3

  • 1Saarland University, 66123 Saarbrucken, Germany.

Bio Systems
|September 18, 2016
PubMed
Summary

Parametric time model checking precisely defines biological oscillatory systems, enhancing understanding of resilience. This method analyzes environmental impacts on living organisms, crucial for dynamic biological modeling.

Keywords:
Biological oscillatorsModel checkingParametric model checkingResilience

More Related Videos

Fabrication and Testing of Microfluidic Optomechanical Oscillators
09:10

Fabrication and Testing of Microfluidic Optomechanical Oscillators

Published on: May 29, 2014

12.7K
A Microfluidics Approach for the Functional Investigation of Signaling Oscillations Governing Somitogenesis
08:06

A Microfluidics Approach for the Functional Investigation of Signaling Oscillations Governing Somitogenesis

Published on: March 19, 2021

3.3K

Related Experiment Videos

Last Updated: Mar 15, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.7K
Fabrication and Testing of Microfluidic Optomechanical Oscillators
09:10

Fabrication and Testing of Microfluidic Optomechanical Oscillators

Published on: May 29, 2014

12.7K
A Microfluidics Approach for the Functional Investigation of Signaling Oscillations Governing Somitogenesis
08:06

A Microfluidics Approach for the Functional Investigation of Signaling Oscillations Governing Somitogenesis

Published on: March 19, 2021

3.3K

Area of Science:

  • Systems Biology
  • Computational Biology
  • Formal Methods

Background:

  • Automated verification of biological models reveals new insights into life processes.
  • Biological systems exhibit resilience, adapting to environmental changes like circadian rhythm shifts.
  • Parametric TCTL is a formal language for specifying and verifying properties of timed systems.

Purpose of the Study:

  • To apply parametric time model checking to precisely define the temporal behavior of biological oscillatory systems.
  • To investigate the resilience properties of biological systems under environmental perturbations and parameter uncertainties.
  • To analyze the influence of external factors like jet-lag or gene knock-outs on the stability of biological oscillations.

Main Methods:

  • Formalizing resilience properties using parametric TCTL (Timed Computation Tree Logic).
  • Investigating the impact of environmental condition changes on system resilience with uncertain parameters.
  • Applying the technique to a simplified model of the mammalian circadian clock.

Main Results:

  • Demonstrated the applicability of parametric time model checking for analyzing biological system resilience.
  • Quantified the influence of perturbations (e.g., artificial jet-lag, component knock-out) on oscillatory behavior parameters.
  • Provided a more precise definition of time behavior for biological oscillatory systems.

Conclusions:

  • Parametric time model checking offers a powerful approach for analyzing resilience in dynamic biological systems.
  • This method is crucial for accurate model elicitation and understanding biological adaptability.
  • Results offer a valuable comparison to previous hybrid modeling studies.