Recent advances on formal methods for safety and security of cyber-physical systems

Yin, Xiang; Li, Shaoyuan

doi:10.1007/s11768-020-00008-w

Cited by 10 publications

(5 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An et al analyzed the security of human-computer-object fusion system by formal modeling and dynamic verification. In their paper, 5 Wang et al 6 introduced the types of attacks and defense problems of the cyber-physical system in their paper, Yin and Li 7 presented a recent progress in using formal methods to verify the CPS security problem in their paper. It is found that the CPS model in different fields can better solve the safety problem of the system and will not bring the complexity of the physical level of the system.…”

Section: Introductionmentioning

confidence: 99%

Research on cyber-physical system models of downhole locomotive dispatching and fault

Ma,

Zheng,

et al. 2023

Advances in Mechanical Engineering

View full text Add to dashboard Cite

Fault diagnosis is of great significance for the rapid recovery of the system after the accident. Intelligent dispatching among multiple controllers is developed in this work to improve the efficiency of downhole locomotive dispatching, finally realizing unmanned intelligent locomotive dispatching. The locomotive dispatching logic processing model of with signal lights, rutting machine, locomotives, and other equipment is established based on the model theory of Cyber-physical systems (CPS). The model tasks in this system are combined with the embedded controller tasks which make it convenient to optimize the logic processing procedures using Ptolemy II software. Our key findings indicate that the proposed model can make the locomotive dispatching process without deadlock and make the processing procedure more reasonable. Simulation and practical experiments demonstrate that the controller cooperation speed can be improved after the CPS model is built, which can realize safer and more effective automatic locomotive dispatching.

show abstract

Section: Introductionmentioning

confidence: 99%

Research on cyber-physical system models of downhole locomotive dispatching and fault

Ma,

Zheng,

et al. 2023

Advances in Mechanical Engineering

View full text Add to dashboard Cite

show abstract

“…The introduction of information technology into CPSs increases the risk of system intrusion and may cause serious loss of life and property. Therefore, the safety and security of CPS is crucial 7,8 …”

Section: Introductionmentioning

confidence: 99%

Nussbaum gain adaptive control for full‐state constrained cyber‐physical system under network attacks and actuator failures

Miao,

Li,

Liu

2023

Intl J Robust & Nonlinear

View full text Add to dashboard Cite

In this article, an adaptive security control scheme is proposed for a class of nonlinear time‐varying full‐state constrained cyber‐physical system with false data injection attacks and actuator failures. Aiming at the problem of sensor network attack, the influence of sensor network attack is reduced by backstepping technique and Nussbaum function. In the control design process, the time‐varying barrier Lyapunov function is used to constrain the system states. In addition, adaptive laws are designed to eliminate the influence of actuator faults (effectiveness loss and bias fault). And the developed controller ensures that the state constraints will not be violated when sensor attacks and actuator faults occur simultaneously. Finally, the simulation result verify the effectiveness of the scheme.

show abstract

“…The cyber-physical system is highly integrated, monitorable and controllable engineering systems with communication, computing and control as the core, which realize the integration of virtual (information) and real (physical) worlds [1]. Nowadays, the cyber-physical system has been applied in many aspects, and the most researched problem is the security issue., Dongdong An et al analyzed the security of human-computer-object fusion system by formal modeling and dynamic verification In their paper [2], Shouguang Wang et al introduced the types of attacks and defense problems of the cyber-physical system in their paper [3], Xiang, Y et al presented a recent progress in using formal methods to verify the CPS security problem in their paper [4]. In addition to the above security issues, there are also many papers that use CPS to improve the operational efficiency of the system, Haoan Hara et al implement collaborative scheduling of trucking vehicles to reduce fuel consumption through CPS in their paper [5].…”

Section: Introductionmentioning

confidence: 99%

Research on Cyber-physical System Models of Downhole Locomotive Dispatching

Ma,

Zheng,

et al. 2023

Preprint

View full text Add to dashboard Cite

Intelligent dispatching among multiple controllers is developed in this work to improve the efficiency of downhole locomotive dispatching, finally realizing unmanned intelligent locomotive dispatching. The locomotive dispatching logic processing model of with signal lights, rutting machine, locomotives and other equipment is established based on the model theory of Cyber-physical systems(CPS). The model tasks in this system are combined with the embedded controller tasks which make it convenient to optimize the logic processing procedures using PtolemyⅡsoftware. Our key findings are that the above model can make the locomotive dispatching process without deadlock and make the processing procedure more reasonable. The simulation and practical experiments show that the controller cooperation speed can be improved after the CPS model is built, which can realize safer and more effective automatic locomotive dispatching.

show abstract

Recent advances on formal methods for safety and security of cyber-physical systems

Cited by 10 publications

References 20 publications

Research on cyber-physical system models of downhole locomotive dispatching and fault

Research on cyber-physical system models of downhole locomotive dispatching and fault

Nussbaum gain adaptive control for full‐state constrained cyber‐physical system under network attacks and actuator failures

Research on Cyber-physical System Models of Downhole Locomotive Dispatching

Contact Info

Product

Resources

About