Abstract
This paper proposes novel methods for anomaly detection in industrial dynamic processes based on logical and algebraical approaches. The paper contains an overview of some intensively developed approaches to dynamic processes modeling in terms of their suitability for the detection of anomalies. Main models of industrial dynamic processes using classical theory of stability, models with Pareto distribution, wavelet analysis, the problem of change-point, models with data mining methods are considered. Two logical approaches with discrete time are proposed: first one is using classical predicate logic and second one is using dynamic description logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barbashin, E.A.: Lyapunov Functions. Nauka, Moscow (1970)
Casti, J.: Connectivity, complexity, and catastrophe in large-scale systems. In: International Institute for Applied Systems Analysis, Brisbane, Toronto. Wiley, Chichester, New York (1979)
Marsden, J., McCracken, M.: The Hopf Bifurcation and its Applications. Springer, New York (1976)
Arnold, V.I.: Catastrophe Theory, 3rd edn. Springer, Berlin (1992)
Dodonov, A.G., Lande, D.V.: Vitality of Information Systems. “Naukova dumka” Publisher, Kiev (2011)
Prigogine, I., Stengers, I.: Order Out of Chaos. Man’s New Dialogue with Nature. Heinemann, London (1984)
Pogosov, A.U.: Diagnostics of the Hidden Dynamics of Processes in NPP Reactor Installations. “Nauka i Tehnika”, Odessa (2013)
Ostreykovsky, V.A., Pavlov, A.S., Shevchenko, E.N.: Technology-related risk modeling in complex dynamic systems using the Pareto distribution. Proc. Cybern. 1, 39–44 (2016)
Malinetskii, G.G.: Risk control and rare disastrous events. Matem. Mod. 14(8), 107–112 (2002)
Chernavskii, D.S., Nikitin, A.P., Chernavskaya, O.D.: Origins of Pareto distribution in nonlinear dynamic systems. Biophysics 53(2), 158–163 (2008)
Astaf’eva, N.M.: Wavelet analysis: basic theory and some applications. Phys. Usp. 39(11), 1085–1108 (1996)
Shelukhin, O.I., Filinova, A.S.: Comparative analysis of algorithms for detecting traffic anomalies using discrete wavelet analysis. T-Comm: Telecommun. Transp. 8(9), 89–97 (2014)
Barford, P., Kline, J., Plonka, D., Ron, A.: A signal analysis of network traffic anomalies. In: Proceedings of the 2nd ACM SIGCOMM Workshop on Internet Measurement, pp. 71–82 (2002)
Burnayev, E.V., Olenyev, N.N.: A measure of proximity for time series based on wavelet coefficients. In: Proceedings of the XLVIII Scientific Conference of MIPT, Dolgoprudny, pp. 108–110 (2005)
Shiryaev, A.N.: On conditional-extremal problems of the quickest detection of nonpredictable times of the observable Brownian motion. Theory Probab. Appl. 53(4), 663–678 (2009)
Kozinov, I.A., Maltsev, G.N.: Modified algorithm for detecting change-point of a random process and its application in the processing of multispectral data. Inf. Control Syst. 3(58), 9–17 (2012)
Vorobeichikov, S.E., Konev, V.V.: On the detection of change points in dynamical systems. Autom. Remote Control 51(3), 324–334 (1990)
Lee, K., Kim, J., Kwon, K.H., Han, Y., Kim, S.: DDoS attack detection method using cluster analysis. Expert Syst. Appl. 34(3), 1659–1665 (2008)
Branitskiy, A.A., Kotenko, I.V.: Analysis and classification of methods for network attack detection. SPIIRAS Proc. 45(2), 207–244 (2016)
Toosi, A.N., Kahani, M.: A new approach to intrusion detection based on an evolutionary soft computing model using neuro-fuzzy classifiers. Comput. Commun. 30(10), 2201–2212 (2007)
Kovalev, S.M., Sukhanov, A.V.: Special temporal pattern recognition technique based on hybrid stochastic model. Izvestiya SFedU. Eng. Sci. 4(153), 142–149 (2014)
Ilyicheva, O.A.: Means of effective preliminary treatment of errors for systems of logic prototyping. In: Automation and Remote Control, № 9, pp. 185–196 (1997)
Guda, A.N., Ilicheva, V.V., Chislov, O.N.: Executable logic prototypes of systems engineering complexes and processes on railway transport. In: Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI 2017), vol. 2, pp. 161–170 (2017)
Huang, H., Shi, Z., Wang, J., Huang, R.: DDL: Embracing actions into Semantic Web. IFIP Int. Fed. Inf. Process. 228, 81–90 (2006)
Chang, L., Lin, F., Shi, Z.: A dynamic description logic for representation and reasoning about actions. In: Knowledge Science, Engineering and Management. LNCS, vol. 4798, pp. 115–127. Springer, Heidelberg (2007)
Acknowledgement
The reported study was funded by the Russian Foundation for Basic Research, projects № 19-07-00329-a, 18-08-00549-a.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Ilicheva, V.V., Guda, A.N., Shevchuk, P.S. (2020). Logical Approaches to Anomaly Detection in Industrial Dynamic Processes. In: Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19). IITI 2019. Advances in Intelligent Systems and Computing, vol 1156. Springer, Cham. https://doi.org/10.1007/978-3-030-50097-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-030-50097-9_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50096-2
Online ISBN: 978-3-030-50097-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)