Loading...
Please wait, while we are loading the content...
Similar Documents
Modeling and Verifying of CPS Component Services Based on Hybrid Automata
| Content Provider | Semantic Scholar |
|---|---|
| Author | Zhang, Jianning Zhang, Guanquan Yan, Rongjie Zhu, Yi Qi, Xingjun |
| Copyright Year | 2014 |
| Abstract | In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS’ complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system’s state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.sersc.org/journals/IJMUE/vol9_no6_2014/6.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Checking (action) Correctness (computer science) Cyber-physical system Deadlock Hybrid automaton Model checking Natural Science Disciplines State space Verification and validation Verifying specimen |
| Content Type | Text |
| Resource Type | Article |
