Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS
Authors: 
Feng Tan, Liansheng Liu, 
Stefan Winter, 
Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan PengAuthors Info & Claims
Article No.: 2, Pages 1 - 25
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.
References
[1]
Manu Augustine, Om Prakash Yadav, Rakesh Jain, and Ajay Rathore. 2012. Cognitive map-based system modeling for identifying interaction failure modes. Res. Eng. Design 23 (2012), 105--124.
[2]
Michael Beyeler, Florian Mirus, and Alexander Verl. 2014. Vision-based robust road lane detection in urban environments. Proc. of IEEE Intl. Conf. on Robotics and Automation (ICRA’14).
[3]
Stephen Boyd and Lieven Vandenberghe. 2004. Convex Optimization. Cambridge University Press.
[4]
William L. Brogan. 1991. Modern Control Theory (3rd ed.). Prentice Hall.
[5]
Eduardo F. Camacho and Carlos Bordons. 2013. Model Predictive Control in the Process Industry (Advances in Industrial Control). Springer.
[6]
Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, and Raffaela Mirandola. 2011. A compositional method for reliability analysis of workflows affected by multiple failure modes. Proc. of CBSE.
[7]
Gene F. Franklin, J. David Powell, and Abbas Emami-Naeini. 1994. Feedback Control of Dynamic Systems (3rd ed.). Addison-Wesley Publishing Company.
[8]
Zhiwei Gao, Carlo Cecati, and Steven X. Ding. 2015a. A survey of fault diagnosis and fault-tolerant techniques part I: Fault diagnosis with model-based and signal-based approaches. IEEE Trans. Ind. Electronics 62, 6 (2015), 3757--3767.
[9]
Zhiwei Gao, Carlo Cecati, and Steven X. Ding. 2015b. A survey of fault diagnosis and fault-tolerant techniques part II: Fault diagnosis with knowledge-based and hybrid/active approaches. IEEE Trans. Ind. Electronics 62, 6 (2015), 3768--3774.
[10]
Xiaocheng Ge, Richard F. Paige, and John A. McDermid. 2009. Probabilistic failure propagation and transformation analysis. Proc. of the 28th Intl. Conf. on Computer Safety, Reliability, and Security, 215--228.
[11]
Tech. Ltd. Googol. 2016. Linear Inverted Pendulum. Retrieved August 23, 2018 from http://www.googoltech.com.
[12]
Martin Hiller, Arshad Jhumka, and Neeraj Suri. 2004. EPIC: Profiling the propagation and effect of data errors in software. IEEE Trans. Computers 53, 5 (2004), 1--19.
[13]
Naira Hovakimyan and Chengyu Cao. 2010. L1 Adaptive Control Theory: Guaranteed Robustness with Fast Adaptation. SIAM.
[14]
Arshad Jhumka and Matthew Leeke. 2011. The early identification of detector locations in dependable software. Proc. of IEEE Intl. Symp. on Software Reliability Engineering.
[15]
Hassan K. Khalil. 2001. Nonlinear Systems (3rd ed.). Prentice Hall.
[16]
Kyekyung Kim, Joongbae Kim, Sangseung Kang, Jaehong Kim, and Jaeyeon Lee. 2012. Vision-based bin picking system for industrial robotics applications. Proc. of the 9th Intl. Conf. on Ubiquitous Robots and Ambient Intelligence (URAI’12), 515--516.
[17]
Weiwei Kong, Dianle Zhou, Daibing Zhang, and Jianwei Zhang. 2014. Vision-based autonomous landing system for unmanned aerial vehicle: A survey. Proc. of Intl. Conf. on Multisensor Fusion and Inf. Integration for Intelligent Systems (MFI’14).
[18]
Marta Kwiatkowska, Gethin Norman, and David Parker. 2002. PRISM: Probabilistic symbolic model checker. TOOLS 2002 2324 (2002), 200--204.
[19]
Adam J. Oliner and Alex Aiken. 2011. Online detection of multi-component interactions in production systems. Proc. of Dependable Systems and Networks (DSN’11), 49--60.
[20]
Thanh-Trung Pham, Xavier Defago, and Quyet-Thang Huynh. 2015. Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors. Sci. Computer Programm. 97 (2015), 426--457.
[21]
Lui Sha, Sathish Gopalakrishnan, Xue Liu, and Qixin Wang. 2008. Cyber-physical systems: A new frontier. IEEE SUTC (2008), 1--9.
[22]
Seppo Sierla, Bryan M. O’Halloran, Tommi Karhela, Nikolaos Papakonstantinou, and Irem Y. Tumer. 2013. Common cause failure analysis of cyber-physical systems situated in constructed environments. Res. Eng. Design 24, 4 (2013), 375--394.
[23]
Paulo Tabuada. 2009. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer.
[24]
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, and Xiyuan Peng. 2014. WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. ACM/IEEE Intl. Conf. on Cyber-Physical Systems (ICCPS’14), 224.
[25]
US Dept. of the Army. 2015. TM 5-698-4: Failure Modes, Effects and Criticality Analyses (FMECA) for Command, Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities.
[26]
Xiaofeng Wang, Naira Hovakimyan, and Lui Sha. 2013. L1Simplex: Fault-tolerant control of cyber-physical systems. Proc. of ICCPS, 41--50.
Index Terms
- Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS
Recommendations
Taxonomy for description of cross-domain attacks on CPS
HiCoNS '13: Proceedings of the 2nd ACM international conference on High confidence networked systemsThe pervasiveness of Cyber-Physical Systems (CPS) in various aspects of the modern society grows rapidly. This makes CPS to increasingly attractive targets for various kinds of attacks. We consider cyber-security as an integral part of CPS security. ...
Towards a Unified Framework for Cyber-Physical Systems (CPS)
CDEE '10: Proceedings of the 2010 First ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded SystemsCyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and ...
Leaky CPS: Inferring Cyber Information from Physical Properties (and the other way around)
CPSS '18: Proceedings of the 4th ACM Workshop on Cyber-Physical System SecurityThe nature of Cyber-physical systems (CPS) is to integrate physical environments with computing capabilities, building a "channel" between the physical and the cyber world, with a continuous exchange of data and commands. From this inherent behaviour, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
January 2019
256 pages
Copyright © 2018 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Journal Family
Publication History
Published: 05 September 2018
Accepted: 01 April 2018
Revised: 01 February 2018
Received: 01 February 2017
Published in TCPS Volume 3, Issue 1
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed
Funding Sources
- Hong Kong RGC GRF
- RGC ECS
- National Natural Science Foundation of China
- TUD DAAD HKG Project
- RGC Germany/HK Joint Research Scheme
- Hong Kong Polytechnic University
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 278Total Downloads
- Downloads (Last 12 months)10
- Downloads (Last 6 weeks)0
Reflects downloads up to 22 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format