2 papers
eess.SY2020
Probabilistic Conformance for Cyber-Physical Systems
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpoor +1
In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatica…
cs.LO2019
Statistical Verification of Hyperproperties for Cyber-Physical System
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour +1
Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabil…