Provably correct design of observations for fault detection with privacy preservation
作者： Zhe Xu , Sayan Saha , Agung Julius
关键词: Temporal logic 、 Building automation 、 Fault detection and isolation 、 Robustness (computer science) 、 Computer science 、 Algorithm 、 Testbed
摘要: During the operation of complex cyber-physical systems, detection faults needs to be performed using limited state information for practicality and privacy concerns. While a well-designed observation can distinguish faulty behavior from normal behavior, it also represent action hiding some or discrete mode transitions. In this paper, we present framework constructing maps in form metric temporal logic (MTL) formulae that formally proven detect fault switched system while preserving certain conditions. We simulate finitely many nominal trajectories use robustness tubes around simulated cover infinite constitute behavior. Thus inferred MTL used classifying behaviors provably correct fashion. implement our approach on simulation model smart building testbed open window room occupancy.
sci-hub.se 参考文章(19)
D. Thukaram, H.P. Khincha, B. Ravikumar, An Intelligent Approach Using Support Vector Machines for Monitoring and Identification of Faults on Transmission Systems 2006 IEEE Power India Conference. pp. 184- 190 ,(2006) , 10.1109/POWERI.2006.1632511
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas, Robust test generation and coverage for hybrid systems international conference on hybrid systems computation and control. pp. 329- 342 ,(2007) , 10.1007/978-3-540-71493-4_27
Xuping Xu, Panos J. Antsaklis, Results and perspectives on computational methods for optimal control of switched systems international conference on hybrid systems computation and control. pp. 540- 555 ,(2003) , 10.1007/3-540-36580-X_39
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic, Parametric identification of temporal properties runtime verification. pp. 147- 160 ,(2011) , 10.1007/978-3-642-29860-8_12
Fengrui Zhang, Jianshu Cao, Zhenhui Xu, An improved Particle Swarm Optimization Particle Filtering algorithm international conference on communications circuits and systems. ,vol. 2, pp. 173- 177 ,(2013) , 10.1109/ICCCAS.2013.6765312
A A Julius, Trajectory-based controller design for hybrid systems with affine continuous dynamics conference on automation science and engineering. pp. 1007- 1012 ,(2010) , 10.1109/COASE.2010.5584752
Georgios E. Fainekos, George J. Pappas, Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. ,vol. 410, pp. 4262- 4291 ,(2009) , 10.1016/J.TCS.2009.06.021
Antoine Girard, George J. Pappas, Approximate bisimulation relations for constrained linear systems Automatica. ,vol. 43, pp. 1307- 1317 ,(2007) , 10.1016/J.AUTOMATICA.2007.01.019
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta, Temporal logic inference for classification and prediction from data international conference on hybrid systems computation and control. pp. 273- 282 ,(2014) , 10.1145/2562059.2562146
G. Cardoso, J.G. Rolim, H.H. Zurn, Application of neural-network modules to electric power system fault section estimation IEEE Transactions on Power Delivery. ,vol. 19, pp. 1034- 1041 ,(2004) , 10.1109/TPWRD.2004.829911