Related Experiment Video
Updated: Jul 23, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
Published on: September 8, 2023
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.
Vladimir E Zyubin1, Natalia O Garanina1, Igor S Anureev1
1Institute of Automation and Electrometry SB RAS, Academician Koptyug Ave. 1, 630090 Novosibirsk, Russia.
This study introduces a topology-free method for designing distributed control systems using process-oriented programming. This approach enables topologically independent control algorithms and supports formal verification for cyber-physical systems.
Area of Science:
- Computer Science
- Control Engineering
- Software Engineering
Background:
- Distributed control systems (DCS) often require complex topology-dependent specifications.
- Formal verification of DCS is challenging due to distributed nature and varying network configurations.
Purpose of the Study:
- To propose a topology-free specification method for distributed control systems.
- To enable formal verification of distributed control algorithms by preserving semantics of centralized programs.
- To develop a method for partitioning process-oriented programs for distributed implementation.
Main Methods:
- Utilizing a process-oriented programming paradigm for control system specification.
- Developing a formal heuristic algorithm for partitioning sequential process-oriented programs into independent clusters.
- Applying the method to case studies like bottle-filling and sluice systems.
Main Results:
- A topologically independent specification for distributed control algorithms.
- Preservation of program semantics for formal verification in a distributed context.
- A practical algorithm for program partitioning demonstrated with case studies.
Conclusions:
- The process-oriented approach offers advantages for developing distributed control systems, particularly for cyber-physical systems.
- Topology-free specification simplifies design and enhances formal verification capabilities.
- The proposed partitioning algorithm effectively enables the implementation of distributed control systems.
More Related Videos
Related Concept Videos
Cyclic Processes And Isolated Systems
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each...
Principle of Virtual Work: Problem Solving
To apply the principle of virtual work,...
Control Systems: Applications
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...
Introduction to Cognitive Psychology
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
Parallel Processing
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...

