Loading [a11y]/accessibility-menu.js
Modeling and verification of cyber-physical systems under uncertainty | IEEE Conference Publication | IEEE Xplore

Modeling and verification of cyber-physical systems under uncertainty


Abstract:

Cyber Physical System (CPS) is a hotspot issue which is researched in the current control field for modeling and validation analysis of the complex system. Due to the inf...Show More

Abstract:

Cyber Physical System (CPS) is a hotspot issue which is researched in the current control field for modeling and validation analysis of the complex system. Due to the influence of the uncertain environment on the CPS control dynamic behavior. In this paper, we proposed a possibility spatio-temporal hybrid automata model (PST-hybrid automata) and a formal description language of the CPS software model which is named PoStLTL. Morewhile, the system verification method of the possibility spatio-temporal CPS model is given. Fnally, an example analysis shows this method is valid and describe the verification of CPS on the uncertain environment factors.
Date of Conference: 29-31 July 2017
Date Added to IEEE Xplore: 25 June 2018
ISBN Information:
Conference Location: Guilin, China

References

References is not available for this document.