Related Experiment Videos

Validation of biological models with temporal logic and Timed Hybrid Petri Nets

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot

    Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference
    |November 16, 2007
    PubMed

    Related Concept Videos

    Mechanistic Models: Overview of Compartment Models01:21

    Mechanistic Models: Overview of Compartment Models

    Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
    Pharmacokinetic Models: Comparison and Selection Criterion01:26

    Pharmacokinetic Models: Comparison and Selection Criterion

    Physiological and compartmental models are valuable tools used in studying biological systems. These models rely on differential equations to maintain mass balance within the system, ensuring an accurate representation of the dynamic processes at play.
    Physiological models take a detailed approach by considering specific molecular processes. They can predict drug distribution, metabolism, and elimination changes, providing a comprehensive understanding of how drugs interact with the body.
    Model Approaches for Pharmacokinetic Data: Physiological Models01:15

    Model Approaches for Pharmacokinetic Data: Physiological Models

    Physiological models in pharmacokinetics are instrumental in understanding the distribution and elimination of drugs within the body. These models describe the drug concentration within target organs, influenced by factors such as drug uptake, tissue volume, and blood flow. Drug uptake is governed by the partition coefficient, which signifies the drug concentration ratio in tissue to that in the blood. The blood flow rate to a specific tissue is expressed as Qt, and the rate of change in tissue...
    Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

    Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

    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...
    Pharmacodynamic Models: Link Model and Systems Pharmacodynamic Model01:14

    Pharmacodynamic Models: Link Model and Systems Pharmacodynamic Model

    The link model is a fundamental pharmacokinetic-pharmacodynamic (PK–PD) approach to account for delayed drug responses when the observed effect does not immediately correlate with the drug's plasma concentration peak. This delay is mathematically addressed by introducing an effect compartment concentration, Ce, which is kinetically linked to the plasma concentration, Cp, via a first-order rate constant, ke0. The linkage allows for a more accurate prediction of drug effects over time. A higher...
    BIBO stability of continuous and discrete -time systems01:24

    BIBO stability of continuous and discrete -time systems

    System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
    To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.