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

Multi-input and Multi-variable systems01:22

Multi-input and Multi-variable systems

508
Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence of...
508
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

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

Mechanistic Models: Overview of Compartment Models

542
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...
542
Multicompartment Models: Overview01:14

Multicompartment Models: Overview

717
Multicompartment models are mathematical constructs that depict how drugs are distributed and eliminated within the body. They segment the body into several compartments, symbolizing various physiological or anatomical areas connected through drug transfer processes such as absorption, metabolism, distribution, and elimination.
These models offer a more comprehensive representation of drug behavior in the body than one-compartment models. They accommodate the complexity of drug distribution,...
717
Collisions in Multiple Dimensions: Problem Solving01:06

Collisions in Multiple Dimensions: Problem Solving

5.7K
In multiple dimensions, the conservation of momentum applies in each direction independently. Hence, to solve collisions in multiple dimensions, we should write down the momentum conservation in each direction separately. To help understand collisions in multiple dimensions, consider an example.
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...
5.7K
Three-Dimensional Force System:Problem Solving01:30

Three-Dimensional Force System:Problem Solving

1.5K
A three-dimensional force system refers to a scenario in which three forces act simultaneously in three different directions. This type of problem is commonly encountered in physics and engineering, where it is necessary to calculate the resultant force on the system, which can then be used to predict or analyze the behavior of the object or structure under consideration.
To solve a three-dimensional force system, first resolve each force into its respective scalar components. Do this using...
1.5K

You might also read

Related Articles

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

Sort by
Same author

Measuring Effectiveness of Metamorphic Relations for Image Processing Using Mutation Testing.

Journal of imaging·2024
Same author

Evaluating the effectiveness of decomposed Halstead Metrics in software fault prediction.

PeerJ. Computer science·2023
Same author

Inheritance metrics feats in unsupervised learning to classify unlabeled datasets and clusters in fault prediction.

PeerJ. Computer science·2021
Same author

Vovel metrics-novel coupling metrics for improved software fault prediction.

PeerJ. Computer science·2021
Same author

Exclusive use and evaluation of inheritance metrics viability in software fault prediction-an experimental study.

PeerJ. Computer science·2021
Same author

Formalizing the use case model: A model-based approach.

PloS one·2020

Related Experiment Video

Updated: Apr 14, 2026

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models
07:14

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models

Published on: December 23, 2025

855

An approach to model based testing of multiagent systems.

Shafiq Ur Rehman1, Aamer Nadeem1

  • 1Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad 44000, Pakistan.

Thescientificworldjournal
|April 16, 2015
PubMed
Summary
This summary is machine-generated.

Testing autonomous multi-agent systems is challenging. This study introduces a novel approach using Prometheus design artifacts to systematically test agent interactions and generate comprehensive test paths for improved system reliability.

More Related Videos

The HoneyComb Paradigm for Research on Collective Human Behavior
06:48

The HoneyComb Paradigm for Research on Collective Human Behavior

Published on: January 19, 2019

9.9K
Designing and Implementing Nervous System Simulations on LEGO Robots
10:34

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

15.8K

Related Experiment Videos

Last Updated: Apr 14, 2026

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models
07:14

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models

Published on: December 23, 2025

855
The HoneyComb Paradigm for Research on Collective Human Behavior
06:48

The HoneyComb Paradigm for Research on Collective Human Behavior

Published on: January 19, 2019

9.9K
Designing and Implementing Nervous System Simulations on LEGO Robots
10:34

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

15.8K

Area of Science:

  • Artificial Intelligence
  • Software Engineering
  • Multi-Agent Systems

Background:

  • Autonomous agents operate in dynamic environments to achieve user-defined goals.
  • Multi-agent systems involve cooperative agents striving for common objectives.
  • Testing multi-agent systems presents challenges due to autonomous and proactive agent behaviors.

Purpose of the Study:

  • To propose a novel methodology for testing multi-agent systems.
  • To enhance confidence in the functionality of multi-agent systems through systematic testing.
  • To leverage Prometheus design artifacts for comprehensive interaction testing.

Main Methods:

  • Modeling agent and actor interactions, including percepts, actions, and messages, using protocol diagrams.
  • Converting protocol diagrams into protocol graphs for structured analysis.
  • Applying coverage criteria to protocol graphs to generate test paths for agent interactions.

Main Results:

  • A novel approach for testing multi-agent systems based on Prometheus design artifacts is presented.
  • The methodology systematically considers various interactions between agents and actors.
  • A prototype tool has been developed to automate test path generation from protocol graphs.

Conclusions:

  • The proposed approach offers a systematic method for testing multi-agent systems.
  • Utilizing protocol graphs and coverage criteria facilitates thorough testing of agent interactions.
  • The developed tool aids in generating effective test paths, improving multi-agent system validation.