scholarly journals An Improved Genetic Algorithm for Safety and Availability Checking in Cyber-Physical Systems

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Zheng Wang ◽  
Yanan Jin ◽  
Shasha Yang ◽  
Jianmin Han ◽  
Jianfeng Lu
Keyword(s):  
Genetic Algorithm ◽  
Cyber Physical Systems ◽  
Improved Genetic Algorithm ◽  
Physical Systems

scholarly journals Genetic optimization–based scheduling in maritime cyber physical systems

2017 ◽  
Vol 13 (7) ◽  
pp. 155014771771716 ◽  
Author(s):  
Tingting Yang ◽  
Hailong Feng ◽  
Jian Zhao ◽  
Ruilong Deng ◽  
Ying Wang ◽  
...  
Keyword(s):  
Scheduling Algorithms ◽  
Cyber Physical Systems ◽  
Mapping Method ◽  
Video Data ◽  
Release Time ◽  
Improved Genetic Algorithm ◽  
Physical Systems ◽  
Video Packet ◽  
Chromosome Representation ◽  
The Time Domain

In this article, we attempt to solve the issue of optimal scheduling for vessels monitoring video data uploading in maritime cyber physical systems, during the period of sailing from the origin port to destination port. We consider the terrestrial infrastructure-based networking, delivering video packets assisted by the shoreside infostations to the authorities on land. Each video packet has respective elements (i.e. release time, deadline, processing time, and weight) to describe, in which deadline is utilized to demonstrate the time domain limitation before that to upload it successfully. In order to cope with the computation complexity of traditional scheduling algorithms in intermittent infostations scenario, time-capacity mapping method is exploited to transfer it to a continue scenario when classic scheduling algorithms could be utilized with lower time complexity. An ingenious mathematic job-machine scheduling formulation is indicated with the goal of minimizing the total penalties of tardiness of uploaded video packets, taking into account the tardiness and the weights of jobs simultaneously. A genetic based algorithm, as well as an improved genetic algorithm–based optimization scheme, is proposed to target this optimization formulation. Specially, the genetic based algorithm as well as the improved genetic based algorithm are described in detail, including a novel chromosome representation, a heuristic initialization procedure, as well as a modified crossover and mutation process. The effectiveness of the proposed schemes is verified by the simulation results.

scholarly journals Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems

Micromachines ◽  
2021 ◽  
Vol 12 (9) ◽  
pp. 1059
Author(s):  
Yang Liu ◽  
Yan Ma ◽  
Yongsheng Yang ◽  
Tingting Zheng
Keyword(s):  
Genetic Algorithm ◽  
Model Checking ◽  
Probabilistic Model ◽  
Cyber Physical Systems ◽  
Probabilistic Model Checking ◽  
Dynamic Power Management ◽  
Search Range ◽  
Physical Systems ◽  
Micro Scale ◽  
Markov Decision

Micro-scale Cyber-Physical Systems (MCPSs) can be automatically and formally estimated by probabilistic model checking, on the level of system model MDPs (Markov Decision Processes) against desired requirements in PCTL (Probabilistic Computation Tree Logic). The counterexamples in probabilistic model checking are witnesses of requirements violation, which can provide the meaningful information for debugging, control, and synthesis of MCPSs. Solving the smallest counterexample for probabilistic model checking MDP has been proven to be an NPC (Non-deterministic Polynomial complete) problem. Although some heuristic methods are designed for this, it is usually difficult to fix the heuristic functions. In this paper, the Genetic algorithm optimized with heuristic, i.e., the heuristic Genetic algorithm, is firstly proposed to generate a counterexample for the probabilistic model checking MDP model of MCPSs. The diagnostic subgraph serves as a compact counterexample, and diagnostic paths of MDP constitute an AND/OR tree for constructing a diagnostic subgraph. Indirect path coding of the Genetic algorithm is used to extend the search range of the state space, and a heuristic crossover operator is used to generate more effective diagnostic paths. A prototype tool based on the probabilistic model checker PAT is developed, and some cases (dynamic power management and some communication protocols) are used to illustrate its feasibility and efficiency.

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Security of Cyber-Physical Systems: A Generalized Algorithm for Intrusion Detection and Determining Security Robustness of Cyber Physical Systems using Logical Truth Tables

2013 ◽  
Vol 9 ◽  
Author(s):  
Curtis G. Northcutt
Keyword(s):  
Intrusion Detection ◽  
Cyber Security ◽  
Logical Truth ◽  
Cyber Physical Systems ◽  
Security Model ◽  
Security Measures ◽  
Physical Systems ◽  
Multiple Signal ◽  
Security Attack ◽  
Truth Tables

The recent proliferation of embedded cyber components in modern physical systems [1] has generated a variety of new security risks which threaten not only cyberspace, but our physical environment as well. Whereas earlier security threats resided primarily in cyberspace, the increasing marriage of digital technology with mechanical systems in cyber-physical systems (CPS), suggests the need for more advanced generalized CPS security measures. To address this problem, in this paper we consider the first step toward an improved security model: detecting the security attack. Using logical truth tables, we have developed a generalized algorithm for intrusion detection in CPS for systems which can be defined over discrete set of valued states. Additionally, a robustness algorithm is given which determines the level of security of a discrete-valued CPS against varying combinations of multiple signal alterations. These algorithms, when coupled with encryption keys which disallow multiple signal alteration, provide for a generalized security methodology for both cyber-security and cyber-physical systems.

Models of decision support in socio-cyber-physical systems

2019 ◽  
pp. 55-70 ◽  
Author(s):  
A. V. Smirnov ◽  
T. V. Levashova
Keyword(s):  
Decision Making ◽  
Decision Support ◽  
Situation Awareness ◽  
Cyber Physical Systems ◽  
Emergent Behavior ◽  
Emergent Properties ◽  
Decision Making Process ◽  
Physical Systems ◽  
Decision Support Models ◽  
Common Goals

Introduction: Socio-cyber-physical systems are complex non-linear systems. Such systems display emergent properties. Involvement of humans, as a part of these systems, in the decision-making process contributes to overcoming the consequences of the emergent system behavior, since people can use their experience and intuition, not just the programmed rules and procedures.Purpose: Development of models for decision support in socio-cyber-physical systems.Results: A scheme of decision making in socio-cyber-physical systems, a conceptual framework of decision support in these systems, and stepwise decision support models have been developed. The decision-making scheme is that cybernetic components make their decisions first, and if they cannot do this, they ask humans for help. The stepwise models support the decisions made by components of socio-cyber-physical systems at the conventional stages of the decision-making process: situation awareness, problem identification, development of alternatives, choice of a preferred alternative, and decision implementation. The application of the developed models is illustrated through a scenario for planning the execution of a common task for robots.Practical relevance: The developed models enable you to design plans on solving tasks common for system components or on achievement of common goals, and to implement these plans. The models contribute to overcoming the consequences of the emergent behavior of socio-cyber-physical systems, and to the research on machine learning and mobile robot control.

Sign in / Sign up

Export Citation Format

Share Document