Related Experiment Video
Updated: Dec 7, 2025
11:54
Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
Published on: May 8, 2021
4.9K
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
Remigiusz Wisniewski1, Iwona Grobelna1, Andrei Karatkevich2
1Institute 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.
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.
More Related Videos
Related Concept Videos
01:26Constraints and Statical Determinacy
871
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...
871
01:26Classification of Systems-I
470
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:
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:
470
01:31Classification of Systems-II
402
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,
402
01:27State Space Representation
426
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...
Consider an RLC circuit, a...
426
01:25Multimachine Stability
431
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:
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
431
01:30Social Cognitive Perspective on Personality
852
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...
852