A journal of IEEE and CAA , publishes high-quality papers in English on original theoretical/experimental research and development in all areas of automation
Volume 6 Issue 3
May  2019

IEEE/CAA Journal of Automatica Sinica

  • JCR Impact Factor: 6.171, Top 11% (SCI Q1)
    CiteScore: 11.2, Top 5% (Q1)
    Google Scholar h5-index: 51, TOP 8
Turn off MathJax
Article Contents
Mayank Agarwal, Santosh Biswas and Sukumar Nandi, "Discrete Event System Framework for Fault Diagnosis with Measurement Inconsistency: Case Study of Rogue DHCP Attack," IEEE/CAA J. Autom. Sinica, vol. 6, no. 3, pp. 789-806, May 2019. doi: 10.1109/JAS.2017.7510379
Citation: Mayank Agarwal, Santosh Biswas and Sukumar Nandi, "Discrete Event System Framework for Fault Diagnosis with Measurement Inconsistency: Case Study of Rogue DHCP Attack," IEEE/CAA J. Autom. Sinica, vol. 6, no. 3, pp. 789-806, May 2019. doi: 10.1109/JAS.2017.7510379

Discrete Event System Framework for Fault Diagnosis with Measurement Inconsistency: Case Study of Rogue DHCP Attack

doi: 10.1109/JAS.2017.7510379
Funds:  This work was supported by TATA Consultancy Services (TCS), India through TCS Research Fellowship Program.
More Information
  • Fault detection and diagnosis (FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy (AR), Principal component analysis (PCA), Discrete event system (DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters. Due to various reasons like faults, communication errors etc., sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc., have mechanisms to handle measurement inconsistency, however, they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent (MI) parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system (MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol (DHCP) server attack by mapping the attack to a fault in the DES framework.

     

  • loading
  • [1]
    L. J. Guo and J. X. Kang, "A hybrid process monitoring and fault diagnosis approach for chemical plants, " Int. J. Chem. Eng., vol. 2015, Article ID 864782, Oct. 2015.
    [2]
    Z. X. Liu, X. G. Yin, Z. Zhang, D. S. Chen, and W. Chen, "Online rotor mixed fault diagnosis way based on spectrum analysis of instantaneous power in squirrel cage induction motors, " IEEE Trans. Energy Convers., vol. 19, no. 3, pp. 485-490, Sep. 2004. http://en.cnki.com.cn/Article_en/CJFDTOTAL-ZGDC200310028.htm
    [3]
    R. Isermann, "Fault detection with limit checking, " in Fault-Diagnosis Systems. Berlin Heidelberg: Springer, 2006, pp. 95-110.
    [4]
    J. Lieslehto, J. T. Tanttu, and H. N. Koivo, "An expert system for multivariable controller design, " Automatica, vol. 29, no. 4, pp. 953-968, Jul. 1993. http://dl.acm.org/citation.cfm?id=156495
    [5]
    P. Bhowal, D. Sarkar, S. Mukhopadhyay, and A. Basu, "Fault diagnosis in discrete time hybrid systems-A case study, " Inform. Sciences, vol. 177, no. 5, pp. 1290-1308, Mar. 2007. http://www.sciencedirect.com/science/article/pii/S0020025506002386
    [6]
    C. Z. Chi, W. G. Zhang, and X. X. Liu, "Application of analytic redundancy-based fault diagnosis of sensors to onboard maintenance system, " Chinese J. Aeronaut., vol. 25, no. 2, pp. 236-242, Apr. 2012. http://www.cnki.com.cn/Article/CJFDTotal-HKXS201202012.htm
    [7]
    R. Dunia and S. J. Qin, "Joint diagnosis of process and sensor faults using principal component analysis, " Control Eng. Pract., vol. 6, no. 4, pp. 457-469, Apr. 1998. http://www.sciencedirect.com/science/article/pii/S0967066198000276
    [8]
    M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Diagnosability of discrete-event systems, " IEEE Trans. Automat. Contr., vol. 40, no. 9, pp. 1555-1575, Sep. 1995. http://ieeexplore.ieee.org/document/412626/citations?tabFilter=patents
    [9]
    M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Failure diagnosis using discrete-event models, " IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=486338
    [10]
    S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete event systems: Framework and model reduction, " IEEE Trans. Automat. Contr., vol. 48, no. 7, pp. 1199-1212, Jul. 2003. http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=1211215
    [11]
    M. Krysander and E. Frisk, "Sensor placement for fault diagnosis, " IEEE Trans. Syst. Man Cybern A Syst. Hum., vol. 38, no. 6, pp. 1398-1410, Nov. 2008. http://ieeexplore.ieee.org/document/4648949
    [12]
    H. Gao, T. Chen, and L. Wang, "Robust fault detection with missing measurements, " Int. J. Control, vol. 81, no. 5, pp. 804-819, Apr. 2008. http://www.researchgate.net/publication/245322523_Robust_fault_detection_with_missing_measurements
    [13]
    X. Lu, L. L. Wang, H. X. Wang, and X. H. Wang, "Kalman filtering for delayed singular systems with multiplicative noise, " IEEE/CAA J. Autom. Sinica, vol. 3, no. 1, pp. 51-58, Jan. 2016. http://d.wanfangdata.com.cn/Periodical/zdhxb-ywb201601006
    [14]
    F. H. Shang, Y. Y. Liu, J. Cheng, and H. Cheng, "Robust principal component analysis with missing data, " in Proc. 23rd ACM Int. Conf. Information and Knowledge Management, Shanghai, China, 2014, pp. 1149-1158.
    [15]
    S. A. Imtiaz, S. L. Shah, and S. Narasimhan, "Missing data treatment using iterative PCA and data reconciliation, " in Proc. 7th Int. Conf. Dynamics and Control of Process Systems, Cambridge, MA, 2004.
    [16]
    M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of discrete-event systems using labeled petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 11, no. 1, pp. 144-153, Jan. 2014.
    [17]
    Z. Q. Chen, F. Lin, C. S. Wang, Y. Le Wang, and M. Xu, "Active diagnosability of discrete event systems and its application to battery fault diagnosis, " IEEE Trans. Control Syst. Technol., vol. 22, no. 5, pp. 1892-1898, Sep. 2014. http://www.ncbi.nlm.nih.gov/pubmed/4291074
    [18]
    S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete event systems: Framework and model reduction, " IEEE Trans. Automat. Contr., vol. 48, no. 7, pp. 1199-1212, Jul. 2003. http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=1211215
    [19]
    G. Provan and Y. L. Chan, "Model-based diagnosis and control reconfiguration for discrete event systems: An Integrated approach, " in Proc. 4th Int. Workshop on Discrete Event Systems, Phoenix, AZ, 1999, pp. 1762-1768.
    [20]
    C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. 2nd ed. US: Springer-Verlag, 2008.
    [21]
    G. F. Hewitt, G. L. Shires, and T. R. Bott, Process Heat Transfer. Boca Raton, FL: CRC Press, 1994.
    [22]
    J. Weimer, S. A. Ahmadi, J. Araujo, F. M. Mele, D. Papale, I. Shames, H. Sandberg, and K. H. Johansson, "Active actuator fault detection and diagnostics in HVAC systems, " in Proc. 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, Toronto, Canada, 2012, pp. 107-114.
    [23]
    Y. M. Li, H. Voos, M. Darouach, and C. C. Hua, "An algebraic detection approach for control systems under multiple stochastic cyber-attacks, " IEEE/CAA J. Autom. Sinica, vol. 2, no. 3, pp. 258-266, Jul. 2015. http://www.cqvip.com/QK/61504X/20153/90687266504849534851484852.html
    [24]
    Y. Xie, L. J. Liu, R. F. Li, J. Q. Hu, Y. Han, and X. Peng, "Security-aware signal packing algorithm for CAN-based automotive cyber-physical systems, " IEEE/CAA J. Autom. Sinica, vol. 2, no. 4, pp. 422-430, Oct. 2015. http://www.cnki.com.cn/Article/CJFDTotal-ZDHB201504010.htm
    [25]
    J. Bellardo and S. Savage, "802.11 denial-of-service attacks: real vulnerabilities and practical solutions, " in Proc. 12th Conf. USENIX Security Symposium-Volume 12, Washington, DC, 2003, pp. 15-27.
    [26]
    N. Hubballi, S. Biswas, S. Roopa, R. Ratti, and S. Nandi, "LAN attack detection using Discrete Event Systems, " ISA Trans., vol. 50, no. 1, pp. 119-130, Jan. 2011. http://www.sciencedirect.com/science/article/pii/S0019057810000716
    [27]
    F. A. Barbhuiya, M. Agarwal, S. Purwar, S. Biswas, and S. Nandi, "Application of stochastic discrete event system framework for detection of induced low rate TCP attack, " ISA Trans., vol. 58, pp. 474-492, Sep. 2015. http://www.sciencedirect.com/science/article/pii/S0019057815001263
    [28]
    Benefits of using DHCP. [Online]. Available: https://technet.microsoft.com/en-us/library/cc961348.aspx
    [29]
    M. Quigley, Encyclopedia of Information Ethics and Security. USA: IGI Global, 2007.
    [30]
    R. E. Droms. RFC 2131-Dynamic Host Configuration Protocol. 1997.
    [31]
    Cisco. DHCP Snooping. [Online]. https://googl/dihMmV
    [32]
    R. Spacil, J. Ikonen, and J. Porras, "Forcing usage rules in public wireless LANs, " in Proc. 27th Ann. IEEE Conf. Local Computer Networks, Tampa, FL, USA, 2002, pp. 415-420.
    [33]
    R. Droms. FC 3118-Dynamic Host Configuration Protocol. 2001.
    [34]
    Y. X. Xu, S. Manning, and M. Wong, "An authentication method based on certificate for DHCP, " DHC Internet Draft, Tech. Rep., Sep. 2011. http://tools.ietf.org/html/draft-xu-dhc-cadhcp-00
    [35]
    J. Demerjian and A. Serhrouchni, "DHCP authentication using certificates, " in Security and Protection in Information Processing Systems, Y. Deswarte, F. Cuppens, S. Jajodia, and L. Wang, Eds. US: Springer, 2004, pp. 457-472.
    [36]
    H. Mukhtar, K. Salah, and Y. Iraqi, "Mitigation of DHCP starvation attack, " Comput. Electr. Eng., vol. 38, no. 5, pp. 1115-1128, Sep. 2012. http://www.sciencedirect.com/science/article/pii/S0045790612001140
    [37]
    R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems, " Discrete Event Dyn. Syst., vol. 10, no. 1-2, pp. 33-86, Jan. 2000. doi: 10.1023/A%3A1008335115538
    [38]
    S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems, " in Proc. 2001 American Control Conf., Arlington, VA, pp. 2058-2071. http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=946047
    [39]
    Z. Simeu-Abazi, M. Di Mascolo, and M. Knotek, "Fault diagnosis for discrete event systems: Modelling and verification, " Reliab. Eng. Syst. Safety, vol. 95, no. 4, pp. 369-378, Apr. 2010. http://www.sciencedirect.com/science/article/pii/S0951832009002592
    [40]
    S. Biswas, S. Mukhopadhyay, and A. Patra, "A formal approach to on-line monitoring of digital VLSI circuits: Theory, design and implementation, " J. Electr. Testing, vol. 21, no. 5, pp. 503-537, Oct. 2005. doi: 10.1007/s10836-005-1139-7
    [41]
    P. K. Biswal, K. Mishra, S. Biswas, and H. K. Kapoor, "A discrete event system approach to online testing of speed independent circuits, " VLSI Des., vol. 2015, Article No. 5, Jan. 2015. http://www.researchgate.net/publication/277360766_A_Discrete_Event_System_Approach_to_Online_Testing_of_Speed_Independent_Circuits
    [42]
    R. Isermann, Fault-Diagnosis Applications: Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-Tolerant Systems. Berlin Heidelberg: Springer-Verlag, 2011.

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(13)  / Tables(7)

    Article Metrics

    Article views (1303) PDF downloads(28) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return