Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

05/06/2023
by   Xuan Xie, et al.
0

Cyber-physical systems (CPSs) are now widely deployed in many industrial domains, e.g., manufacturing systems and autonomous vehicles. To further enhance the capability and applicability of CPSs, there comes a recent trend from both academia and industry to utilize learning-based AI controllers for the system control process, resulting in an emerging class of AI-enabled cyber-physical systems (AI-CPSs). Although such AI-CPSs could achieve obvious performance enhancement from the lens of some key industrial requirement indicators, due to the random exploration nature and lack of systematic explanations for their behavior, such AI-based techniques also bring uncertainties and safety risks to the controlled system, posing an urgent need for effective safety analysis techniques for AI-CPSs. Hence in this work, we propose Mosaic, a model-based safety analysis framework for AI-CPSs. Mosaic first constructs a Markov decision process (MDP) model as an abstract model of the AI-CPS, which tries to characterize the behaviors of the original AI-CPS. Then, based on the derived abstract model, safety analysis is designed in two aspects: online safety monitoring and offline model-guided falsification. The usefulness of Mosaic is evaluated on diverse and representative industry-level AI-CPSs, the results of which demonstrate that Mosaic is effective in providing safety monitoring to AI-CPSs and enables to outperform the state-of-the-art falsification techniques, providing the basis for advanced safety analysis of AI-CPSs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/08/2021

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward

Cyber-physical systems (CPS) have been broadly deployed in safety-critic...
research
04/25/2020

Search-based Test-Case Generation by Monitoring Responsibility Safety Rules

The safety of Automated Vehicles (AV) as Cyber-Physical Systems (CPS) de...
research
07/13/2020

Towards an Interface Description Template for AI-enabled Systems

Reuse is a common system architecture approach that seeks to instantiate...
research
11/28/2018

AI based Safety System for Employees of Manufacturing Industries in Developing Countries

In this paper authors are going to present a Markov Decision Process (MD...
research
04/12/2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions

Cyber-Physical Systems (CPS) have been widely deployed in safety-critica...
research
07/18/2022

Bayesian Quickest Change Detection of an Intruder in Acknowledgments for Private Remote State Estimation

For geographically separated cyber-physical systems, state estimation at...
research
02/20/2023

Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems

Learning Enabled Components (LEC) have greatly assisted cyber-physical s...

Please sign up or login with your details

Forgot password? Click here to reset