scholarly journals Variational Principle of Least Psychomotor Action: Modelling Effects on Action from Disturbances in Psychomotor Work Involving Human, Cyborg, and Robot Workers

Entropy ◽  
2019 ◽  
Vol 21 (6) ◽  
pp. 543
Author(s):  
Stephen Fox ◽  
Adrian Kotelba
Keyword(s):  
Variational Principle ◽  
Task Complexity ◽  
Weather Conditions ◽  
External Action ◽  
Cyber Physical Systems ◽  
Physical Domain ◽  
Physical Systems ◽  
Internal Action ◽  
Different Types ◽  
Psychomotor Tasks

Optimal psychomotor work can be expressed in terms of the principle of least psychomotor action (PLPA). Modelling psychomotor action encompasses modelling workers, work, and interactions between them that involve different types of situated entropy. Modelling of psychomotor workers encompasses three types of workers: human, cyborg, and robot. The type of worker and the type of work interact to affect positioning actions, performing actions, and perfecting actions undertaken in psychomotor tasks. There are often disturbances in psychomotor work, for example due to weather conditions, which have a determining influence on what work can be undertaken with least psychomotor action by different types of workers. In this paper, findings are reported from a study focused on the modelling disturbances in psychomotor work. Five contributions are provided. First, a heuristic framework for modelling disturbances and their effects is provided. In addition to PLPA and situated entropy, this framework encompasses Markov processes, the theory of perturbations, and calculus of variations. Second, formulae and ratios are provided for heuristic modelling of effects on internal action (Sint) from disturbances to psychomotor work. Third, formulae and ratios are provided for heuristic modelling of effects on external action (Se). Fourth, examples are provided of heuristic modelling of disturbances in psychomotor work. Fifth, formulae and examples show how task complexity can be modelled heuristically in terms of microstates across the cyber domain and the physical domain of cyber-physical systems. Overall, the study reported in this paper addresses variational aspects of PLPA.

Sensor and Actuator Intrusion Detection for Cyber-Physical Systems via Adaptive Estimation Algorithm

2020 ◽  
Author(s):  
Jiayi Su ◽  
Yuqin Weng ◽  
Susan C. Schneider ◽  
Edwin E. Yaz
Keyword(s):  
Kalman Filters ◽  
Adaptive Estimation ◽  
Estimation Algorithm ◽  
Cyber Physical Systems ◽  
Motor Speed ◽  
New Approach ◽  
Physical Systems ◽  
Unknown Type ◽  
Different Types ◽  
Conditional State

Abstract In this work, a new approach to detect sensor and actuator intrusion for Cyber-Physical Systems using a bank of Kalman filters is presented. The case where the unknown type of the intrusion signal is considered first, using two Kalman filters in a bank to provide the conditional state estimates, then the unknown type of intrusion signal can be detected properly via the adaptive estimation algorithm. The case where the target (either sensor or actuator) of the intrusion signal is unknown is also considered, using four Kalman filters in a bank designed to detect if the intrusion signal is about to affect healthy sensor or actuator signal. To test these methods, a DC motor speed control system subject to attack by different types of sensor and actuator signals is simulated. Simulations show that different types of sensor and actuator intrusion signals can be detected properly without the knowledge of the nature and the type of these signals.

scholarly journals Categorical Semantics of Cyber-Physical Systems Theory

2021 ◽  
Vol 5 (3) ◽  
pp. 1-32
Author(s):  
Georgios Bakirtzis ◽  
Cody H. Fleming ◽  
Christina Vasilakopoulou
Keyword(s):  
System Architecture ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
System Behavior ◽  
Modeling And Analysis ◽  
Physical Systems ◽  
System Models ◽  
Computational Dynamics ◽  
Different Types ◽  
Categorical Semantics

Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.

scholarly journals SNPL: One Scheme of Securing Nodes in IoT Perception Layer

Sensors ◽  
2020 ◽  
Vol 20 (4) ◽  
pp. 1090 ◽  
Author(s):  
Yongkai Fan ◽  
Guanqun Zhao ◽  
Kuan-Ching Li ◽  
Bin Zhang ◽  
Gang Tan ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Security Risk ◽  
Practical Application ◽  
Malicious Nodes ◽  
Physical Systems ◽  
Security Scheme ◽  
Performance Requirements ◽  
Different Types ◽  
Series Of Experiments ◽  
And Performance

The trustworthiness of data is vital data analysis in the age of big data. In cyber-physical systems, most data is collected by sensors. With the increase of sensors as Internet of Things (IoT) nodes in the network, the security risk of data tampering, unauthorized access, false identify, and others are overgrowing because of vulnerable nodes, which leads to the great economic and social loss. This paper proposes a security scheme, Securing Nodes in IoT Perception Layer (SNPL), for protecting nodes in the perception layer. The SNPL is constructed by novel lightweight algorithms to ensure security and satisfy performance requirements, as well as safety technologies to provide security isolation for sensitive operations. A series of experiments with different types and numbers of nodes are presented. Experimental results and performance analysis show that SNPL is efficient and effective at protecting IoT from faulty or malicious nodes. Some potential practical application scenarios are also discussed to motivate the implementation of the proposed scheme in the real world.

scholarly journals A novel side-channel analysis for physical-domain security in cyber-physical systems

2019 ◽  
Vol 15 (8) ◽  
pp. 155014771986786 ◽  
Author(s):  
Min Wang ◽  
Kama Huang ◽  
Yi Wang ◽  
Zhen Wu ◽  
Zhibo Du
Keyword(s):  
Information Leakage ◽  
Cyber Physical Systems ◽  
Cyber Attacks ◽  
Side Channel ◽  
Learning Technology ◽  
Physical Domain ◽  
Secret Key ◽  
Side Channel Analysis ◽  
Physical Systems ◽  
Channel Analysis

Security of cyber-physical systems against cyber attacks is an important yet challenging problem. Cyber-physical systems are prone to information leakage from the physical domain. The analog emissions, such as magnetic and power, can turn into side channel revealing valuable data, even the crypto key of the system. Template attack is a popular type of side-channel analysis using machine learning technology. Malicious attackers can use template attack to profile the analog emission, then recover the secret key of the system. But conventional template attack requires that the adversary has access to an identical experiment device that he can program to his choice. This study proposes a novel side-channel analysis for physical-domain security in cyber-physical systems. Our contributions are the following three points: (1) Major peak region method for finding points of interests correctly is proposed. (2) A method for establishing templates on the basis of those points of interest still without requiring knowledge of the key is proposed. Several techniques are proposed to improve the quality of the templates as well. (3) A method for choosing attacking traces is proposed to significantly improve the attacking efficiency. Our experiments on three devices show that the proposed method is significantly more effective than conventional template attack. By doing so, we will highlight the importance of performing similar analysis during design time to secure the cyber-physical system.

scholarly journals Characterizing Sliding Surfaces of Cyber-Physical Systems

2020 ◽  
Vol 24 (3) ◽  
pp. 431-448
Author(s):  
Luc Jaulin ◽  
Fabrice Le Bars
Keyword(s):  
Control Algorithm ◽  
Closed Loop ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Closed Loop System ◽  
Physical Systems ◽  
Set Membership ◽  
Different Types ◽  
Chattering Effect ◽  
Evolution Function

When implementing a non-continuous controller for a cyber-physical system, it may happen that the evolution function of the closed-loop system is not anymore piecewise continuous along the trajectory, mainly due to if statements inside the control algorithm. As a consequence, an unwanted chattering effect may occur. This behavior is often difficult to observe even in simulation. We propose here a set-membership method based on interval analysis to detect different types of discontinuities. One of them is the sliding surface where the state trajectory jumps indefinitely between two distinct behaviors. As an application, we consider the validation of a sailboat controller. We show that our approach is able to detect and explain some unwanted sliding effects that may be observed in rare and specific situations on our actual sailboat robots.

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.

Sign in / Sign up

Export Citation Format

Share Document