Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Statistical model checking is a class of sequential algorithms that can verify specifications of interest on an ensemble of cyber-physical systems (e.g., whether 99% of cars from a batch meet a requirement on their functionality). These algorithms infer the probability that given specific...
Main Authors: | Yu Wang, Hussein Sibai, Mark Yen, Sayan Mitra, Geir E. Dullerud |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2022-01-01
|
Series: | IEEE Open Journal of Control Systems |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9893303/ |
Similar Items
-
Formal Verification of Control Modules in Cyber-Physical Systems
by: Iwona Grobelna
Published: (2020-09-01) -
Advancing verification of process mining models with quantitative model checking in stochastic environment
by: Mangi Fawad Ali, et al.
Published: (2024-01-01) -
Formal Verification of STPA with Model Checking
by: Ryeonggu Kwon, et al.
Published: (2023-03-01) -
A type system for formal verification of cyber-physical systems C/C++ software
by: Yuriy Manzhos, et al.
Published: (2024-02-01) -
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
by: Angela Pappagallo, et al.
Published: (2020-12-01)