Jove
Visualize
Contact Us

Related Concept Videos

State Space Representation01:27

State Space Representation

633
The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
633
Actor-Observer Effect01:23

Actor-Observer Effect

449
The actor-observer effect, a cognitive bias closely linked to the fundamental attribution error, refers to the tendency for individuals to attribute their behavior to external, situational factors while explaining others’ behavior in terms of internal, dispositional traits. This asymmetry in attribution significantly influences social perception and judgment.Cognitive Mechanisms Behind the EffectTwo primary psychological mechanisms contribute to the actor-observer effect: differences in...
449
Linear time-invariant Systems01:23

Linear time-invariant Systems

1.0K
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
1.0K
BIBO stability of continuous and discrete -time systems01:24

BIBO stability of continuous and discrete -time systems

986
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....
986
Mechanistic Models: Overview of Compartment Models01:21

Mechanistic Models: Overview of Compartment Models

443
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...
443
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

375
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...
375

You might also read

Related Articles

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

Sort by
Same author

1001 Ways to run AutoDock Vina for virtual screening.

Journal of computer-aided molecular design·2016
Same author

Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets.

Nature communications·2012
Same author

GAZE: a generic framework for the integration of gene-prediction data by dynamic programming.

Genome research·2002
Same journal

A natural deduction system for the Byzantine Generals Oral Messages algorithm.

Acta informatica·2026
Same journal

Reoptimization of parameterized problems.

Acta informatica·2022
Same journal

Indecision and delays are the parents of failure-taming them algorithmically by synthesizing delay-resilient control.

Acta informatica·2021
Same journal

Automated formal synthesis of provably safe digital controllers for continuous plants.

Acta informatica·2020
Same journal

Synthesis from hyperproperties.

Acta informatica·2020
Same journal

Performance heuristics for GR(1) synthesis and related algorithms.

Acta informatica·2020
See all related articles
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 Video

Updated: Mar 2, 2026

Author Spotlight: A Novel Setup to Conduct Naturalistic Laboratory Experiments with Real Human Actors in Scenarios
07:43

Author Spotlight: A Novel Setup to Conduct Naturalistic Laboratory Experiments with Real Human Actors in Scenarios

Published on: August 4, 2023

2.8K

Compositional schedulability analysis of real-time actor-based systems.

Mohammad Mahdi Jaghoori1,2, Frank de Boer2,3, Delphine Longuet4

  • 1AMC, Amsterdam, The Netherlands.

Acta Informatica
|May 23, 2017
PubMed
Summary
This summary is machine-generated.

We introduce real-time actor models with deadlines and scheduling policies for guaranteed task processing. Our automata-theoretic approach uses model checking and testing to ensure system schedulability and deadline adherence.

More Related Videos

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.4K
Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
11:54

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface

Published on: May 8, 2021

5.2K

Related Experiment Videos

Last Updated: Mar 2, 2026

Author Spotlight: A Novel Setup to Conduct Naturalistic Laboratory Experiments with Real Human Actors in Scenarios
07:43

Author Spotlight: A Novel Setup to Conduct Naturalistic Laboratory Experiments with Real Human Actors in Scenarios

Published on: August 4, 2023

2.8K
RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.4K
Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
11:54

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface

Published on: May 8, 2021

5.2K

Area of Science:

  • Computer Science
  • Software Engineering
  • Real-Time Systems

Background:

  • The actor model is a concurrency model, but lacks explicit support for real-time constraints like deadlines.
  • Real-time systems require guaranteed task completion within specified deadlines, crucial for applications like embedded systems and robotics.
  • Existing schedulability analysis methods may not scale well for complex, distributed actor-based systems.

Purpose of the Study:

  • To extend the actor model with real-time capabilities, including message deadlines and explicit scheduling policies.
  • To develop a formal method for verifying the schedulability of real-time actor systems.
  • To ensure that tasks within the system are processed within their designated deadlines.

Main Methods:

  • Introduced an automata-theoretic approach for compositional schedulability analysis.
  • Utilized model checking to verify actor behavioral interfaces and deadline compatibility.
  • Extended timed automata refinement to incorporate deadlines and defined a testing process to mitigate computational complexity.
  • Automated the analysis using the Uppaal model checker.

Main Results:

  • Demonstrated a decidable method for analyzing the schedulability of real-time actor systems.
  • Successfully verified actor behavior and environment compatibility against specified deadlines.
  • The proposed testing process enhances the efficiency of schedulability analysis for complex systems.

Conclusions:

  • The extended actor model effectively integrates real-time constraints and scheduling policies.
  • The compositional automata-theoretic approach provides a scalable and verifiable method for real-time actor system analysis.
  • Automated verification using model checking and testing ensures system reliability and adherence to deadlines.