Transparency in control transactions under a secure network architecture is a key topic that must be discussed when aspects related to interconnection between heterogeneous cyber-physical systems (CPSs) arise. The interconnection of these systems can be addressed through an enforcement policy system responsible for managing access control according to the contextual conditions. However, this ar...

In this work we extend the study of solution graphs and prove that for boolean formulas in a class called CPSS, all connected components are partial cubes of small dimension, a statement which was proved only for some cases in [16]. In contrast, we show that general Schaefer formulas are powerful enough to encode graphs of exponential isometric dimension and graphs which are not even partial cu...

The ability to network machinery and devices that are otherwise isolated is highly attractive to industry. This has led to growth in the use of cyber-physical systems (CPSs) with existing infrastructure. However, coupling physical and cyber processes leaves CPSs vulnerable to security attacks. A threat-vulnerability based risk model is developed through a detailed analysis of CPS security attac...

We demonstrate MacroLab, which is a macroprogramming framework that offers a vector programming abstraction similar to Matlab for cyber-physical systems (CPSs). The user writes a single program for an entire network using Matlablike operations such as addition, find, and max. The framework executes these operations across the network in a distributed fashion, a centralized fashion, or something...

Cyber–Physical Systems (CPSs) becoming one of the most complex, intelligent, and sophisticated system. Ensuring security is an important aspect towards CPSs. However, increase in complexity attacks CPSs, conventional anomaly detection methods are facing problems also growth volume data becomes challenging which requires domain specific knowledge that could be applied directly to analyze these c...

Activity selection is critical for the smart environment and Cyber-Physical Systems (CPSs) that can provide timely intelligent services, especially as number of connected devices increasing at an unprecedented speed. As it important to collect labels by various agents in CPSs, crowdsourcing inference algorithms are designed help acquire accurate involve high-level knowledge. However, there some...

A Cyber-Physical-Social System (CPSS) is an emerging paradigm often understood as a physical and virtual space of interaction which cohabited by humans sensor-enabled smart devices. In such settings, human behaviour different from person to guided complex environmental natural factors that are not yet fully explored. Thus, ensuring seamless human-machine in CPSS calls for efficient means handli...

This article is concerned with the event-based control problem for nonlinear cyber-physical systems (CPSs) state constraints. A novel security strategy a self-triggered mechanism developed to decrease network communication loads most extent on basis of ensuring system safety and stability. The maximum capability designed resist denial-of-service attacks occurring in controller-actuator sensor-c...

High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) are widely employed in cyber–physical systems (CPSs) to accomplish complex control missions. However, guaranteeing the safety and reliability of CPSs with this kind controllers is currently very challenging, which vital importance many real-life safety-critical applications. To cope difficulty, we...

Linear Regression (LR) is a classical machine learning algorithm which has many applications in the cyber physical social systems (CPSS) to shape and simplify way we live, work, communicate. This paper focuses on data analysis for CPSS when applied. The training process of LR time-consuming since it involves complex matrix operations, especially gets large scale dataset In CPSS. Thus, how enabl...