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

Constraints and Statical Determinacy

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...

Classification of Systems-I

Classification of Systems-I

Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:

Classification of Systems-II

Classification of Systems-II

Continuous-time systems have continuous input and output signals, with time measured continuously. These systems are generally defined by differential or algebraic equations. For instance, in an RC circuit, the relationship between input and output voltage is expressed through a differential equation derived from Ohm's law and the capacitor relation,

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

Multimachine Stability

Multimachine Stability

Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:

Social Cognitive Perspective on Personality

Social Cognitive Perspective on Personality

Social cognitive perspectives on personality emphasize the importance of conscious awareness, beliefs, expectations, and goals in shaping behavior. These perspectives incorporate behaviorist principles, such as learning through reinforcement and conditioning, but extend beyond them by highlighting human reasoning and planning. Unlike traditional behaviorist views, social cognitive theory focuses on how individuals reflect on their past experiences and plan for future outcomes by considering...

You might also read

Related Articles

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

Sort by

Same author

A Systematic Review on the Applications of Uppaal.

Sensors (Basel, Switzerland)·2025

Same author

Intelligent Industrial Process Control Systems.

Sensors (Basel, Switzerland)·2023

Same author

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.

Sensors (Basel, Switzerland)·2022

Same author

Formal Verification of Control Modules in Cyber-Physical Systems.

Sensors (Basel, Switzerland)·2020

Search research articles

Related Experiment Video

Updated: Dec 7, 2025

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

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Remigiusz Wisniewski¹, Iwona Grobelna¹, Andrei Karatkevich²

¹Institute of Automatics, Electronics and Electrical Engineering, University of Zielona Góra, 65-417 Zielona Góra, Poland.

Sensors (Basel, Switzerland)

|October 1, 2020

Summary

This study introduces determinism concepts for cyber-physical systems (CPS) using control interpreted Petri nets (CIPNs). It proposes a novel modeling methodology and demonstrates its effectiveness through a real-world case study.

Keywords:

Petri nets control logic control systems cyber-physical systems determinism

More Related Videos

Designing and Implementing Nervous System Simulations on LEGO Robots

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

Related Experiment Videos

Last Updated: Dec 7, 2025

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

Designing and Implementing Nervous System Simulations on LEGO Robots

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

Area of Science:

Computer Science
Control Engineering
Systems Theory

Background:

Cyber-physical systems (CPS) require predictable control logic for reliable operation.
Petri nets are a common modeling tool, but extensions are needed for CPS environmental interaction.
Existing models may lack formal definitions for determinism crucial in CPS control.

Purpose of the Study:

To formally define and analyze determinism in CPS control using Petri net models.
To introduce a novel methodology for modeling deterministic CPS with control interpreted Petri nets (CIPNs).
To validate the proposed concepts and methodology through a practical case study and experimental verification.

Main Methods:

Application of control interpreted Petri nets (CIPNs), an extension of ordinary Petri nets.
Formal definitions and theorems for weak and strong determinism in CIPN-specified systems.
Development of a new modeling methodology for deterministic systems using CIPNs.

Main Results:

Formalized notions of weak and strong determinism for CIPN-based CPS control.
A novel, practical methodology for designing deterministic CPS.
Experimental verification confirming the efficacy of the proposed determinism techniques.

Conclusions:

The proposed formalisms and methodology enhance the predictability and reliability of CPS control.
CIPNs provide a suitable framework for modeling and analyzing determinism in CPS.
The study offers a foundation for developing more robust and verifiable cyber-physical systems.