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 Experiment Videos

A logic for biological systems.

Z Duan1, M Holcombe, A Bell

  • 1Department of Computer Science, The University of Sheffield, Sheffield, UK.

Bio Systems
|April 4, 2000
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Evidence for the Collective Nature of Radial Flow in Pb+Pb Collisions with the ATLAS Detector.

Physical review letters·2026
Same author

Evidence for the Dimuon Decay of the Higgs Boson in pp Collisions with the ATLAS Detector.

Physical review letters·2025
Same author

Evidence for Longitudinally Polarized W Bosons in the Electroweak Production of Same-Sign W Boson Pairs in Association with Two Jets in pp Collisions at sqrt[s]=13  TeV with the ATLAS Detector.

Physical review letters·2025
Same author

<i>Staphylococcus pseudintermedius</i> isolated from atopic dogs with pyoderma induces mast cell degranulation.

New Zealand veterinary journal·2025
Same author

The mental health impacts of catastrophic events: policy considerations.

Perspectives in public health·2025
Same author

Modeling the microplastic distribution along the Delaware River Estuary: Accumulation patterns and hydrodynamic influences.

Marine pollution bulletin·2025
Same journal

Ruliological Resilience: Pattern Restoration and Robustness in Wolfram Patterns. A Basis for Regeneration, Not Just in Cone Shells?

Bio Systems·2026
Same journal

The quantum-to-classical transducer: A thermodynamic and quantum mechanical framework for the emergence of bioenergetics.

Bio Systems·2026
Same journal

Forward-backward gene expression binarization for boolean state inference over a known regulatory network.

Bio Systems·2026
Same journal

Partial-label metric ceilings for evaluating gene regulatory networks inferred from single-cell foundation models.

Bio Systems·2026
Same journal

The impedance mismatch theory: A non-equilibrium thermodynamic framework for a shared energetic stress pathway in neurodegeneration.

Bio Systems·2026
Same journal

Immune signal-status misclassification: A theoretical framework for biological status assignment and failed status resolution.

Bio Systems·2026
See all related articles

This study introduces a new specification language for modeling and analyzing biological systems. This logic helps verify complex biological models with both discrete and continuous behaviors.

Area of Science:

  • Systems Biology
  • Formal Methods
  • Computational Biology

Background:

  • Biological systems exhibit complex dynamics involving both discrete events and continuous processes.
  • Analyzing these hybrid dynamics requires specialized formalisms.
  • Existing methods may not adequately capture the intricate interplay of discrete and continuous components in biological models.

Purpose of the Study:

  • To propose a novel specification language for modeling, analyzing, and verifying biological systems.
  • To address the challenge of representing biological systems as hybrid systems.
  • To provide a formal framework for understanding the mixed discrete and continuous nature of biological processes.

Main Methods:

  • Development of a new specification language: hybrid projection temporal logic.

Related Experiment Videos

  • Formal presentation of the syntax and semantics of the proposed logic.
  • Application of the logic to model example hybrid systems.

    • Main Results:

    • A formal language for specifying hybrid biological systems is presented.
    • The syntax and semantics provide a rigorous framework for analysis.
    • Illustrative examples demonstrate the formalism's utility.

    Conclusions:

    • The proposed hybrid projection temporal logic offers a powerful tool for the formal analysis of biological systems.
    • This formalism enables the verification of biological models with mixed discrete and continuous dynamics.
    • The approach facilitates a deeper understanding of complex biological system behaviors.