ACM DL

ACM Transactions on

Cyber-Physical Systems (TCPS)

Menu
Latest Articles

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies

The dynamic nature of complex Cyber-Physical Systems puts extra requirements on their functionalities: they not only need to be dependable, but also... (more)

QoS-Driven Data Processing Algorithms for Smart Electric Grids

Smart-grid applications have widely varying data needs as well as bandwidth and latency requirements. The usual approach to accumulating the available... (more)

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults

This article is concerned with the security of modern Cyber-Physical Systems in the presence of transient sensor faults. We consider a system with... (more)

NEWS

CFP: Special Issue on Transportation Cyber-Physical Systems
The aim of this special issue will be to feature articles on new technologies that will impact future transportation systems. They might span across vehicular technologies – such as autonomous vehicles, vehicle platooning and electric cars, communication technologies to enable vehicle-to-vehicle and vehicle-to-infrastructure communication, security mechanisms, infrastructure-level technologies to support transportation, as well as management systems and policies such as traffic light control, intersection management, dynamic toll pricing and parking management. In addition to terrestrial transportation, traffic control and autonomous management of aerial vehicles and maritime ships are also of interest. For more information, visit the Special Issue webpage.

CFP: Special Issue on Dependability in Cyber Physical Systems and Applications
This special issue focuses on bringing together current research ideas and techniques from researchers and practitioners belonging to a myriad of research areas, with the final goal of sharing their specific challenges and solutions for CPS dependability. More specifically, contributions related to dependability aspects of CPS applications/systems in practice are of interest. For more information, visit the Special Issue webpage.

CFP: Special Issue on Medical Cyber-Physical Systems

This special issue seeks papers describing significant research contributions in the domain of medical cyber-physical systems; each paper should show enough evidence of contributions to medical cyber-physical systems applications and systems in practice. For more information, visit the Special Issue webpage.

CFP: Special Issue on Internet of Things

This special issue focuses on the technical issues we face when designing, engineering, deploying, and maintaining the IoT. We seek high-quality and unpublished papers that push research in all the facets of the IoT. Contributions may present and solve open technical problems, integrate novel solutions efficiently, and focus on the performance evaluation and comparison with existing standards. Both theoretical and experimental studies are welcome. For more information, visit the Special Issue webpage.

CFP: Special Issue on Smart Homes, Buildings, and Infrastructures

The purpose of this special issue is to present the state-of-the-art CPS research for building efficient smart homes, buildings, and infrastructures. The submissions should address the above challenges with a system perspective that includes both cyber and physical aspects, and should articulate how proposed approaches may be applied in practical CPS systems. For more information, visit the Special Issue webpage.

About TCPS

Cyber-Physical Systems (CPS) has emerged as a unifying name for systems where the cyber parts, i.e., the computing and communication parts, and the physical parts are tightly integrated, both at the design time and during operation. Such systems use computations and communication deeply embedded in and interacting with physical processes to add new capabilities to physical systems. These cyber-physical systems range from miniscule (pace makers) to large-scale (a national power-grid). There is an emerging consensus that new methodologies and tools need to be developed to support cyber-physical systems.  READ MORE

Forthcoming Articles
Dependable Deep Computation Model for Feature Learning on Big Data in Cyber-Physical Systems

With the ongoing development of sensor devices and network techniques, big data is being generated from the cyber-physical systems. Because of sensor equipment occasional failure and network transmission unreliability, a large number of low-quality data, such as noisy data and incomplete data, is collected from the cyber-physical systems. Low-quality data poses a remarkable challenge on deep learning models for big data feature learning. As a novel deep learning model, the deep computation model achieves the super performance for big data feature learning. However, it is difficult for the deep computation model to learn dependable features for low-quality data since it uses the nonlinear function as the encoder. In this paper, a dependable deep computation model is proposed for feature learning on low-quality big data in cyber-physical systems. Specially, a regularity is added into the objective function of the deep computation model to obtain reliable features in the intermediate-level representation space. Furthermore, a learning algorithm based on the back-propagation strategy is devised to train the parameters of the proposed model. Finally, some experiments are conducted to evaluate the effectiveness of the dependable deep computation model for low-quality big data feature learning. Results indicate that the proposed model performs better than the conventional deep computation model and the denoising deep computation model for the classification and the restoration for the low-quality data in cyber-physical systems.

Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation

Simulink is widely used for model-driven development (MDD) of cyber-physical systems. Typically, the Simulink based development starts with Stateflow modeling, followed by simulation, validation and code generation mapped to physical execution platforms. However, recent industrial trends have raised the demands of rigorous verification on safety-critical applications, which is unfortunately challenging. Even the constructed Stateflow model and the generated code pass the validation of Simulink Design Verifier and Simulink Polyspace, respectively, the system may still fail due to some implicit bugs contained in the model and the generated code. In this paper, we present a novel approach to bridge the Stateflow based model driven development and a well-defined rigorous verification. First, we develop a self-contained toolkit to translate Stateflow model into timed automata, where major advanced modeling features in Stateflow are supported. Taking advantage of the strong verification capability of Uppaal, we can not only find bugs in Stateflow models which are missed by Simulink Design Verifier, but also check more important temporal properties. Next, we customize a runtime verifier for the generated non-intrusive VHDL and C code of Stateflow model for monitoring. The major strength of the customization is the flexibility to collect and analyze runtime properties with a pure software monitor, which offers more opportunities for engineers to achieve high reliability of the target system compared with the traditional act that only relies on Simulink Polyspace. We incorporate these two parts into original Stateflow based MDD seamlessly. In this way, safety-critical properties are both verified at the model level, and at the consistent system implementation level with physical execution environment in consideration. We apply our approach to the development of a typical cyber-physical systemtrain communication controller based on the International Electrotechnical Commission standard 61375. Experiments show that more ambiguousness in the standard are detected during Uppaal verification, and the errors have been confirmed. Furthermore, the verified implementation has been deployed on real trains.

Data Analytics for Managing Power in Commercial Buildings

Commercial buildings are significant consumers of electricity. We propose a number of methods for managing power in commercial buildings. The first step towards better energy management in commercial buildings is monitoring consumption. However, instrumenting every electrical panel in a large commercial building is an expensive proposition. In this paper, we demonstrate that it is also unnecessary. Specifically, we propose a greedy meter (sensor) placement algorithm based on maximization of information gain subject to a cost constraint. The algorithm provides a near-optimal solution guarantee, and our empirical results demonstrate a 15% improvement in prediction power over conventional methods. Next, to identify power saving opportunities, we use an unsupervised anomaly detection technique based on a low-dimensional embedding. Furthermore, to enable a building manager to effectively plan for demand response programs, we evaluate several solutions for fine-grained, short-term load forecasting. Our investigation reveals that support vector regression and an ensemble model work best overall. Finally, to better manage resources such as lighting and HVAC, we propose a semi-supervised approach combining hidden Markov models (HMM) and a standard classifier to model occupancy based on readily available port-level network statistics. We show that the proposed two step approach simplifies the occupancy model while achieving good accuracy. The experimental results demonstrate an average occupancy estimation error of 9.3% with a potential reduction of 9.5% in lighting load using our occupancy models.

All ACM Journals | See Full Journal Index

Search TCPS
enter search term and/or author name