Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Mechanistic Models: Overview of Compartment Models

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

Design Example: Managing Concrete Workability

Design Example: Managing Concrete Workability

This example deals with managing the workability of concrete for a raft foundation project under hot weather conditions. Workability is crucial for ensuring the concrete is easy to place, compact, and finish. In this scenario, a slump test — a common method to measure the workability of fresh concrete — initially indicated low workability. This was attributed to the rapid water loss from the concrete mix, exacerbated by the high temperatures causing the course aggregates to heat up.

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

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

Multicompartment Models: Overview

Multicompartment Models: Overview

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

Control Systems

Control Systems

Control systems are everywhere in contemporary society, influencing diverse applications from aerospace to automated manufacturing. These systems can be found naturally within biological processes, such as blood sugar regulation and heart rate adjustment in response to stress, as well as in man-made systems like elevators and automated vehicles. A control system is essentially a network of subsystems and processes that collaboratively convert specific inputs into desired outputs.
At the heart...

Solution Composition During Acid/Base Titrations

Solution Composition During Acid/Base Titrations

The titration of a weak acid with a strong base results in the formation of water and the conjugate base of the acid. For instance, titrating acetic acid with sodium hydroxide leads to the formation of water and sodium acetate. A solution of acetic acid and sodium acetate constitutes a buffer whose relative concentration at different stages of the titration is indicated by the α values, which represent percentages of the weak acid and its conjugate base.
The α0 and α1 values...

You might also read

Related Articles

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

Sort by

Same author

Deep learning-driven image captioning: Progress through transformers and large language models.

PloS one·2026

Same author

Post-quantum cryptographic authentication protocol for industrial IoT using lattice-based cryptography.

Scientific reports·2026

Same author

Radar Signal Processing and Its Impact on Deep Learning-Driven Human Activity Recognition.

Sensors (Basel, Switzerland)·2025

Same author

Asymmetric multi-band reflective metasurface for linear and circular polarizations conversion in Ku, K, Ka, and U bands.

Scientific reports·2025

Same author

A hybrid encryption framework leveraging quantum and classical cryptography for secure transmission of medical images in IoT-based telemedicine networks.

Scientific reports·2024

Same author

Slotted ALOHA Based Practical Byzantine Fault Tolerance (PBFT) Blockchain Networks: Performance Analysis and Optimization.

Sensors (Basel, Switzerland)·2024

Same journal

RETRACTED: Zhang et al. A Novel Framework for Reconstruction and Imaging of Target Scattering Centers via Wide-Angle Incidence in Radar Networks. <i>Sensors</i> 2025, <i>25</i>, 6802.

Sensors (Basel, Switzerland)·2026

Same journal

Enhancing Unsupervised Multi-Source Domain Adaptation for Person Re-Identification via Mixture of Experts and Graph-Based Relation.

Sensors (Basel, Switzerland)·2026

Same journal

Development of an Instrumented Glove for Palmar Pressure Assessment in Kayakers.

Sensors (Basel, Switzerland)·2026

Same journal

Development and Experimental Validation of an Autonomous IoT-Based Monitoring System for Real-Time Water Quality Assessment in the Amazon River.

Sensors (Basel, Switzerland)·2026

Same journal

Semi-Supervised Adversarial Learning Framework for Controller Area Network Bus Intrusion Detection.

Sensors (Basel, Switzerland)·2026

Same journal

Smart Optimization Method for Safety Signs in Innovative Manufacturing Environments Integrating Industrial Field IoT Sensors and Knowledge Graphs.

Sensors (Basel, Switzerland)·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Dec 27, 2025

Operation of the Collaborative Composite Manufacturing CCM System

Operation of the Collaborative Composite Manufacturing CCM System

Published on: October 1, 2019

Incremental Composition Process for the Construction of Component-Based Management Systems.

Tauseef Rana¹, Yawar Abbas Bangash¹, Abdullah Baz²

¹Department of Computer Software Engineering, MCS, National University of Sciences and Technology, Islamabad 44000, Pakistan.

Sensors (Basel, Switzerland)

|March 4, 2020

Summary

This summary is machine-generated.

This study introduces EX-MAN, a flexible architecture for component-based development of critical cyber-physical systems. It ensures system behavior and correctness are preserved during incremental composition for disaster management applications.

Keywords:

Component Based Development (CBD)EX-MAN component model composition verification critical system incremental composition sensors composition

More Related Videos

A Soft Tooling Process Chain for Injection Molding of a 3D Component with Micro Pillars

A Soft Tooling Process Chain for Injection Molding of a 3D Component with Micro Pillars

Published on: August 4, 2018

A Rapid Method for Modeling a Variable Cycle Engine

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

Related Experiment Videos

Last Updated: Dec 27, 2025

Operation of the Collaborative Composite Manufacturing CCM System

Operation of the Collaborative Composite Manufacturing CCM System

Published on: October 1, 2019

A Soft Tooling Process Chain for Injection Molding of a 3D Component with Micro Pillars

A Soft Tooling Process Chain for Injection Molding of a 3D Component with Micro Pillars

Published on: August 4, 2018

A Rapid Method for Modeling a Variable Cycle Engine

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

Area of Science:

Computer Science
Software Engineering
System Architecture

Background:

Cyber-physical systems (CPS) integrate software and hardware, often built by composing existing systems.
Critical CPS, like disaster management systems, require verification during development.
Component-based development (CBD) is common but needs methods for critical system verification.

Purpose of the Study:

To propose two system architecture styles: rigid and flexible.
To introduce EX-MAN, a flexible architecture for critical system CBD.
To define an incremental composition mechanism for EX-MAN.

Main Methods:

Proposed two architecture styles: rigid and flexible.
Selected EX-MAN from flexible architectures for critical CBD.
Defined an incremental composition mechanism for EX-MAN.
Utilized exogenous connectors for component coordination in flexible architectures.

Main Results:

The incremental composition mechanism preserves system behavior and partial architecture correctness.
A case study of a weather monitoring system (disaster management) was successfully built using the EX-MAN tool.
Demonstrated the feasibility of developing critical systems through incremental composition.

Conclusions:

The proposed EX-MAN approach, with its incremental composition, is suitable for developing critical cyber-physical systems.
Flexible architectures and exogenous connectors facilitate verifiable component composition.
The method supports the construction of reliable disaster management systems.