eduzhai > Applied Sciences > Engineering >

Probabilistic Conformance for Cyber-Physical Systems

  • king
  • (0) Download
  • 20210506
  • Save

... pages left unread,continue reading

Document pages: 12 pages

Abstract: In system analysis, conformance indicates that two systems simultaneouslysatisfy the same set of specifications of interest; thus, the results fromanalyzing one system automatically transfer to the other, or one system cansafely replace the other in practice. In this work, we study the probabilisticconformance of cyber-physical systems (CPS). We propose a notion of(approximate) probabilistic conformance for sets of complex specificationsexpressed by the Signal Temporal Logic (STL). Based on a novel statisticaltest, we develop the first statistical verification methods for theprobabilistic conformance of a wide class of CPS. Using this method, we verifythe conformance of the startup time of the widely-used full and simplifiedmodel of Toyota powertrain systems, the settling time ofmodel-predictive-control-based and neural-network-based automotive lane-keepingcontrollers, as well as the maximal voltage deviation of full and simplifiedpower grid systems.

Please select stars to rate!


0 comments Sign in to leave a comment.

    Data loading, please wait...