Abstract:By combining communication, computation, and control (3C), Cyber-Physical Systems (CPS)0tightly couple the physical world with the cyber-world, to enable more applications, enhance performance, increase dependability and etc. Among these goals, as CPS are widely used in the safety-critical area, guaranteeing the basic dependability/safety is after all the prerequisite and often the top concern. However, the behavior of CPS is extremely complex. First of all, due to the existence of both discrete control modes transition and continuous real-time behavior in CPS, the behavior of CPS is a complex hybrid state space, which is difficult to understand and handle. Secondly, most CPS applications are working in the open environment and acquiring real-time data from the environment intensively to adjust their own behavior. The dynamic environment makes the behavior space more complex to reason. When a system is too complex to analyze directly, building an abstract model of the system and then conducting analysis on the model to answer questions about the original system is an important and widely-used method. Meanwhile, a reasonable model also plays important roles in the phase of specification, design, development, testing, monitoring and so on. Therefore, it is an important topic of investigating how model-based methods can be applied in the context of CPS to increase the quality and dependability of the system. During the past decade, our research group at Nanjing University has devoted a lot of efforts into this mission. We conducted comprehensive research in a wide spectrum of CPS including model-driven design, verification, control, monitoring, and testing. In this paper, we will make a general review of the progress we made on these directions recently.

Cyber-Physical Vehicle Systems: Methodology and Applications

Secure Estimation And Event-Triggered Control For Cyber-Physical Systems Based On Intermediate Estimator

Privacy and Security of Cyberphysical Systems

State Estimation of Cyber-Physical Vehicle Systems

Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach

Cyber-Physical System Based Optimization Framework for Intelligent Powertrain Control

iCPS-Car: An Intelligent Cyber-physical System for Smart Automobiles

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Resource-efficient Control in Cyber-Physical Systems

High-Precision Modulation of A Safety-Critical Cyber-Physical System: Control Synthesis and Experimental Validation

Cyber-Physical-Level Safe Control of Intelligent and Connected Vehicles with Unreliable Communication and Actuator Faults

Multi-Objective Optimization for Cyber-Physical-Social Systems: A Case Study of Electric Vehicles Charging and Discharging

Resilient Control in Cyber-Physical Systems: Countering Uncertainty, Constraints, and Adversarial Behavior.

Design of Distributed Cyber–Physical Systems for Connected and Automated Vehicles with Implementing Methodologies

A Comprehensive Overview of Cyber-Physical Systems: from Perspective of Feedback System

Secure State Estimation and Control of Cyber-Physical Systems: A Survey

Cyber-Physical Systems in Manufacturing and Service Systems

Cyber-Physical System-Based Path Tracking Control of Autonomous Vehicles under Cyber-Attacks

Cyber-Physical Control for Energy-Saving Vehicle Following with Connectivity.

Simultaneous Observation of Hybrid States for Cyber-Physical Systems: A Case Study of Electric Vehicle Powertrain.

Model-based Construction and Verification of Cyber-Physical Systems.