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

State Space Representation

State Space Representation

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

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

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

Distribution Reliability and Automation

Distribution Reliability and Automation

Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...

Feedback control systems

Feedback control systems

Feedback control systems are categorized in various ways based on their design, analysis, and signal types.
Linear feedback systems are theoretical models that simplify analysis and design. These systems operate under the principle that their output is directly proportional to their input within certain ranges. For instance, an amplifier in a control system behaves linearly as long as the input signal remains within a specific range. However, most physical systems exhibit inherent nonlinearity...

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

You might also read

Related Articles

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

Sort by

Same author

Smart-Data-Glove-Based Gesture Recognition for Amphibious Communication.

Micromachines·2023

Same author

Transition Activity Recognition System based on Standard Deviation Trend Analysis.

Sensors (Basel, Switzerland)·2020

Same author

ERP: An elastic resource provisioning approach for cloud applications.

PloS one·2019

Same author

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies.

Sensors (Basel, Switzerland)·2019

Same author

A multiobjective migration algorithm as a resource consolidation strategy in cloud computing.

PloS one·2019

Same author

Factorization machines and deep views-based co-training for improving answer quality prediction in online health expert question-answering services.

Journal of biomedical informatics·2018

Search research articles

Related Experiment Video

Updated: Feb 19, 2026

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems.

Peng Zhou^1,2, Decheng Zuo³, Kun-Mean Hou⁴

¹School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China. zhoupeng@ftcl.hit.edu.cn.

Sensors (Basel, Switzerland)

|November 10, 2017

Summary

This summary is machine-generated.

Cyber Physical Systems (CPSs) adapt to environmental changes using a formal framework. A novel one-order feedback strategy enhances reliability and stability for self-managed CPS decision-making.

Keywords:

composability and compositionality cyber physical system decentralized decision process dependability flexibility relative time model scalability self-management

More Related Videos

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

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

Published on: May 8, 2021

Related Experiment Videos

Last Updated: Feb 19, 2026

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

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

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

Published on: May 8, 2021

Area of Science:

Computer Science
Engineering

Background:

Cyber Physical Systems (CPSs) require robust self-management for environmental adaptation and failure recovery.
Dynamic adaptation in CPSs presents significant challenges in design, evaluation, and decision process orchestration.

Purpose of the Study:

To propose a formal compositional framework to enhance the dependability of decision-making processes in self-managed CPSs.
To introduce methods for improving composability and compositionality in timing properties and system evaluation.

Main Methods:

Developed a relative time-based method for consistent event order observation and causal reasoning.
Introduced a compositional FSM-based actor model, actor-based advice, and runtime decomposable decisions within a formal reference framework.
Proposed a self-similar recursive actor interface for simplified decision composition and defined patterns for reliability and process time requirements.

Main Results:

The proposed framework enables systematic improvement of decision process dependability in self-managed CPSs.
Decentralized decision strategies were developed and compared; the one-order feedback strategy demonstrated high reliability, scalability, and stability.
The framework simplifies dynamic system evaluation by enhancing subsystem composability and compositionality.

Conclusions:

The formal compositional framework effectively addresses challenges in self-managed CPS decision-making.
The one-order feedback strategy offers a promising approach for reliable and scalable CPS operation.
The proposed methods enhance the evaluation of dynamic systems through improved composability.