Please use this identifier to cite or link to this item:
http://hdl.handle.net/10397/92484
DC Field | Value | Language |
---|---|---|
dc.contributor | Department of Computing | en_US |
dc.creator | Tan, F | en_US |
dc.creator | Liu, L | en_US |
dc.creator | Winter, S | en_US |
dc.creator | Wang, Q | en_US |
dc.creator | Suri, N | en_US |
dc.creator | Bu, L | en_US |
dc.creator | Peng, Y | en_US |
dc.creator | Liu, X | en_US |
dc.creator | Peng, X | en_US |
dc.date.accessioned | 2022-04-07T06:32:32Z | - |
dc.date.available | 2022-04-07T06:32:32Z | - |
dc.identifier.issn | 2378-962X | en_US |
dc.identifier.uri | http://hdl.handle.net/10397/92484 | - |
dc.language.iso | en | en_US |
dc.publisher | Association for Computing Machinary | en_US |
dc.rights | © 2018 Association for Computing Machinery. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM Transactions on Cyber-Physical Systems, https://doi.org/10.1145/3226029. | en_US |
dc.subject | Cyber-physical systems | en_US |
dc.subject | Hybrid automata | en_US |
dc.subject | Hybrid model | en_US |
dc.subject | Lyapunov stable | en_US |
dc.subject | Testing | en_US |
dc.title | Cross-domain noise impact evaluation for black box two-level control CPS | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.volume | 3 | en_US |
dc.identifier.issue | 1 | en_US |
dc.identifier.doi | 10.1145/3226029 | en_US |
dcterms.abstract | Control Cyber-Physical Systems (CPSs) constitute a major category of CPS. In control CPSs, in addition to the well-studied noises within the physical subsystem, we are interested in evaluating the impact of cross-domain noise: the noise that comes from the physical subsystem, propagates through the cyber subsystem, and goes back to the physical subsystem. Impact of cross-domain noise is hard to evaluate when the cyber subsystem is a black box, which cannot be explicitly modeled. To address this challenge, this article focuses on the two-level control CPS, a widely adopted control CPS architecture, and proposes an emulation based evaluation methodology framework. The framework uses hybrid model reachability to quantify the cross-domain noise impact, and exploits Lyapunov stability theories to reduce the evaluation benchmark size. We validated the effectiveness and efficiency of our proposed framework on a representative control CPS testbed. Particularly, 24.1% of evaluation effort is saved using the proposed benchmark shrinking technology. | en_US |
dcterms.accessRights | open access | en_US |
dcterms.bibliographicCitation | ACM transactions on cyber-physical systems, Jan. 2019, v. 3, no. 1, 2 | en_US |
dcterms.isPartOf | ACM transactions on cyber-physical systems | en_US |
dcterms.issued | 2019-01 | - |
dc.identifier.scopus | 2-s2.0-85075490010 | - |
dc.identifier.eissn | 2378-9638 | en_US |
dc.identifier.artn | 2 | en_US |
dc.description.validate | 202204 bcfc | en_US |
dc.description.oa | Author’s Original | en_US |
dc.identifier.FolderNumber | RGC-B1-175 | - |
dc.description.fundingSource | RGC | en_US |
dc.description.fundingSource | Others | en_US |
dc.description.fundingText | PolyU, NSFC, DAAD | en_US |
dc.description.pubStatus | Published | en_US |
Appears in Collections: | Journal/Magazine Article |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Tan_Cross-Domanoise_Impact_Evaluatiblack.pdf | Preprint version | 13.2 MB | Adobe PDF | View/Open |
Page views
68
Last Week
0
0
Last month
Citations as of May 12, 2024
Downloads
91
Citations as of May 12, 2024
WEB OF SCIENCETM
Citations
4
Citations as of May 16, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.