Cyber-Physical Systems: Modelling and Industrial Application (Studies in Systems, Decision and Control, 418)

✍ Scribed by Alla G. Kravets (editor), Alexander A. Bolshakov (editor), Maxim Shcherbakov (editor)

• Publisher: Springer
• Year: 2022
• Tongue: English
• Leaves: 338
• Category: Library

✦ Synopsis

This book discusses the open questions regarding the modelling of cyber-physical systems and their application in different industries. The industry needs new approaches to improve its competitiveness. The concept of cyber-physical systems supports such changes, with the need to find new modelling tools becoming a key challenge. The book contains five-section covering the following topics: cyber-physical systems modelling, IoT and signal processing, cyber-physical systems intelligent control, cyber-physical systems industrial implementation and the production of the new material for cyber-physical systems. These approaches, on the one hand, should ensure the execution of current business processes, and on the other hand, ensure a quick speed of reactions to changes. The target audience of the book are practitioners, enterprises representatives, scientists, PhD and Master students who perform scientific research on modelling and industrial application of cyber-physical systems.

✦ Table of Contents

Preface
Contents
Cyber-Physical Systems Modelling
Algebraic Means of Heterogeneous Cyber-Physical Systems Design
1 Introduction
2 Applying Category Theory to Systems Engineering
3 Multicomma Category for Cyber-Physical Systems Design
4 Properties of a Multicomma
5 Conclusion
References
Computer System for Resource-Saving Design of Industrial Processes of Secondary Oil Refining
1 Introduction
2 Problem Statement
3 Description of the Computer System
4 Conclusion
References
Verification of Numerical Three-Dimensional Models of Auger Centrifugal Stages for Cavitation Calculation Using the Rayleigh-Plesset Model
1 Introduction
2 Experimental Studies
3 Numerical Discrete Model
4 Results
4.1 Turbulence Model Choice
4.2 Calibration of Cavitation Model Coefficients
4.3 Visualization of the Flow in the Blade Channels of the Auger
5 Conclusion
References
On the Qualitative Study of Phase Portraits for Some Categories of Polynomial Dynamic Systems
1 Introduction
2 Initial Mathematical Formulation and Research Methods Survey
3 Subfamilies of the First Hierarchical Level and Splitting of them into Subfamilies of the Next Levels
4 Conclusion
References
Model of Organization of Software Testing for Cyber-Physical Systems
1 Introduction
2 Generalized Model of the Organization of Software Testing of Cyber-Physical Systems, Taking into Account Various Models of the Software Life Cycle
3 Interpretation and Discussion of Research Results
4 Conclusion
References
Digital Twin of Building Heating Substation: An Example of a Digital Twin of a Cyber-Physical System
1 Introduction
2 DT Implementation Tools
3 BHS Computer Model
4 DT Implementation in DTTool
5 Identifying the Virtual Model
6 BHS DT Applications
7 Conclusions
References
Generalized Formalization of Multiplicatively Release and Isolating Functions and Locally Approximating Functions in the Formation of a Single Analytical Function in the Cut-Glue Method
1 Problem Statement
2 Obtaining, Recording, and Fragmentation of Experimental Data
3 Multifragment Polynomial Regression and the Quasi-Linearizability Condition
4 Cut-Glue Conversion of Polynomial Functions from the Sum of Arguments
5 Conclusion
References
Local Fragmentary Functions’ Smooth and Monotonic Docking in “Cut-Glue” Approximation of Experimental Data
1 Problem Statement
2 The Boundary Smoothness Violation in the Trend Change Areas Approximation
3 The Structural Variations Effect on the Docking Smoothness
4 Conclusion
References
Automatic Compensation of Thermal Deformations of the Carrying Structures of Cyber-Physical Information Measuring Systems
1 Introduction
2 Function-Based Modeling
3 Interpretation and Discussion of Research Results
4 Conclusion
References
Solving the Problem of Optimizing the Modes of Operation of the Combined Heat and Power Systems, Depending on the Chosen Method
1 Introduction
2 Test Model
3 The Monte Carlo Method
4 Dynamic Programming Method
5 Integer Linear Programming Method
6 Gradient Methods
7 Conclusions
References
Testing a Ground-Based Radar Station as a Cyber-Physical System Using a Carrier and On-Board Equipment
1 Introduction
2 Coordinates of the Simulated Target
3 Step of Changing the Range of the Simulation Target
4 Assessment of the Feasibility of the Measurement Plan
5 Example and Software Implementation
6 Conclusion
References
Algorithm for Determining Distributed Subsurface Layers Based on Ultra-Wideband GPR
1 Introduction
2 Reflected Wave Model
3 Description of the Algorithm
4 Example of Defining Layers
5 Conclusion
References
Formant Frequencies Estimation Based on Correlogram Method of Spectral Analysis and Binary-Sign Stochastic Quantization
1 Introduction
2 Formant Estimation Method
3 PSD Estimation Algorithm
4 Conclusion
References
Estimation of the Influence of the Supply Voltage Non-sinusoidally on the Results of Measuring the Parameters of Powerful Submersible Electric Motors
1 Introduction
2 Problem Statement
3 Analysis of Causes of Power Measurement Error and Power Factor of SEM
4 Conclusion
References
Cyber-Physical Systems Intelligent Control
On the Possibilities of the Cyber-Physical Approach to Study the Frequency Properties of a Closed-Loop System with Incomplete Information About the Control Plant Model
1 Introduction
2 Problem Statement and the Way of Its Decision
3 Optimization Procedure for Determining the Values at the Points of the Plant Amplitude and Phase-Frequency Characteristics
4 Illustrative Example 1
5 Generalization
6 Parameterization
7 Illustrative Example 2
8 Illustrative Example 3
9 Conclusion
References
Combined Control of Technological Processes with Delay
1 Introduction
2 Formulation of the Problem
3 Research Results
4 Example
5 Conclusion
References
Robust Control Objects with Delayed Admission by the Extended Model
1 Introduction
2 Problem Statement
3 Synthesis of a Robust Output Controller
4 Example
References
Study the Algorithm of Paths Calculation Parallelization in the Problem of Group Control of Robots
1 Introduction
1.1 Related Studies
2 Subject Area Problem Statement
3 Optimization Problem Statement
4 Task Thread Splitting Method
5 Research of Strategy Affection on Path Readiness
6 Conclusion
References
Research of Methods of Decentralized Control of a Group of Robots in the Liquidation of Technogenic Accidents
1 Introduction
2 Analysis of Methods of Group Control of Robots in Uncertain Environments
3 Robot Group Control Method in Urban Infrastructure
3.1 Urban Infrastructure Model
3.2 Robot Model
3.3 Accident Source Model
3.4 Event Stream Model
3.5 Target Function
4 Estimation of the Strategic Coefficients
4.1 Simulation Environment
5 Experiments
6 Conclusion
References
Cyber-Physical Systems Industrial Implementation
Impact of Preventive Measures on Conditions of Risk Insurance in Cyber-Physical System of Industrial Enterprise
1 Introduction
2 Methods
3 Results
4 Discussion
5 Conclusion
References
A Combined Method for Solving the Problem of Optimizing the Production Schedule of Metal Structure Processing for Use in a Cyber-Physical Control System of a Metallurgical Enterprise
1 Introduction
2 Formulation of the Problem
3 System Analysis and Development of an Informational Description of the Technological Process to Produce Metal Structures
4 Statement of the Problem of Optimization of the Technological Process Associated with the Planning of Production in the Processing Shop of a Metalwork Plant
5 Building the Architecture of the Optimal Planning System for the Processing Shop of a Metalwork Plant
6 Construction of an Optimization Algorithm for Solving the Problem of an Optimal Equipment Distribution Schedule
7 Test Approbation of Programs Based on Data from the Chelyabinsk Steel Structures Plant
8 Analysis and Conclusions Based on the Results of Software Testing to Optimize the Planning of the Loading of the Processing Shop of a Metalwork Plant
9 Conclusions
References
Redmine-Based Approach for Automatic Tasks Distribution in the Industrial Automation Projects
1 Introduction
2 Overview of the Scrum Methodology and the Redmine System
2.1 Scrum Methodology
2.2 Redmine System
2.3 Tracking the Changes in Task Settings
3 Redmine Planning Plugin Design
3.1 Redmine Data Model Classes
3.2 Conceptual and Logical Data Models
4 Automatic Tasks DistributionPlugin Development
4.1 Working Hours Accounting Algorithm
4.2 Tasks Distribution Algorithm
4.3 Redmine Sync API
4.4 Test Results
5 Conclusion
References
Development of a Tool for Extracting and Analyzing Software Development Process Models
1 Introduction
2 Related Works
3 Problem Statement
4 Technologies and Tools
4.1 The Petri Net as a Representation of the Process Model
4.2 Process Mining Technology
4.3 Approaches to Improving the Software Development Process
4.4 Open-Source Framework ProM
4.5 Spring Framework
5 Implementation Details and Architecture of the Developed Complex
6 Data Sources for the Event Log
7 Example of a Built Model
8 Conclusion
References
Models and Algorithms for Determining the Safety Valves Critical Flow at Petrochemical Facilities
1 Introduction
2 The Process of Determining the Critical Flow of Safety Valves as an Object of Computerization
3 Development of a Functional Model for Determining the Critical Flow of Safety Valves
4 Algorithms to Automate the Determination of Critical Flow of Safety Valves
5 Conclusion
References
New Materials Production for Cyber-Physical Systems
Analysis of the Efficiency of the Rotary Method for Producing a Mixture of Granular Raw Materials in the Preparation of a Cyber-Physical Platform
1 Introduction
2 Some Design Features of the Rotary Mixing Process of Granular Raw Materials
3 Basic Provisions of Stochastic Modeling of the Process of Rotary Mixing of Granular Raw Materials
4 Simulation Results
5 Conclusion
References
Optimization of Ingredients of a Polymeric Composition Under the Conditions of a Paired Interaction of Active Additives
1 Introduction
2 Problem Statement
3 Mathematical Model
4 Computational Experiment
5 Conclusion
References
Mathematical Model of the Heat Transfer Process in Multilayer Fencing Structures
1 Introduction
2 Mathematical Modeling
3 Results and Discussion
4 Conclusion
References
Calculation Features for the Heat and Power Balance in the Cyber-Physical System of Pellets Roasting on the Roasting Machine Conveyor
1 Introduction
2 Heat and Power Features of the Conveyor Roasting Machine Operation
3 Results Analysis
4 Conclusion
References