Distributed control systems integration and management with an ontology-based multi-agent system

• Autorzy: Choiński D. , Senik M.

Identyfikatory

DOI

10.24425/bpas.2018.124277

• Języki publikacji: EN

Abstrakty

EN

The purpose of this study is to create, analyze and reuse an ontology-based approach during implementation of a multi-agent system (MAS) capable of integrating different elements of a distributed control system (DCS). Ontology is considered as knowledge about a particular domain. It includes static description of the domain’s structure and properties, by means of which it is possible to define the domain’s dynamic states, transitions between those states and conditions of those transitions. Because of that, it is possible to analyze such ontology in terms of modal logic in predicate logic settings.

Słowa kluczowe

EN

distributed control system; multi-agent system; software based integration systems; ontology; Petri nets

PL

system wieloagentowy; ontologia; sieci Petriego; inteligentny system kontroli

• Wydawca: Polska Akademia Nauk, Wydział IV Nauk Technicznych
• Czasopismo: Bulletin of the Polish Academy of Sciences. Technical Sciences
• Rocznik: 2018
• Tom: Vol. 66, nr 5
• Strony: 613--620
• Opis fizyczny: Bibliogr. 38 poz., rys., tab.

Twórcy

autor

Choiński D.

• Silesian University of Technology, ul. Akademicka 16, 44-100 Gliwice, Poland

autor

Senik M.

Bibliografia

• [1] V. Kulba, S. Nikolsky, and O. Zaikin, “Ontological approach to modelling of discrete event dynamic system”, Bull. Pol. Ac.: Tech. 57 (3), 241‒247 (2009).
• [2] A. Byrski, R. Schaefer, M. Smołka, and C. Cotta, “Asymptotic guarantee of success for multi-agent memetic systems”, Bull. Pol. Ac.: Tech. 61 (1), 257‒278 (2013).
• [3] D.W. Qian, S.W. Tong, and C.D. Li, “Observer-based leader-following formation control of uncertain multiple agents by integral sliding mode”, Bull. Pol. Ac.: Tech. 65 (1), 35‒44 (2017).
• [4] G. Babin and W. Cheung, “A Metadatabase-supported shell for distributed processing and systems integration”, Knowl.-Based Syst, vol. 21, no. 7, pp. 672‒680, 2008.
• [5] D. Monticolo, S. Mihaita, H. Darwich, and V. Hilaire, “An agentbased system to build project memories during engineering projects”, Knowl.-Based Syst., vol. 68, pp. 88‒102, 2014.
• [6] M. Moradi, A. Aghaie, and M. Hosseini, “Knowledge-collector agents: Applying intelligent agents in marketing decisions with knowledge management approach”, Knowl.-Based Syst., no. 52, pp. 181‒193, 2013.
• [7] J. Ashraf, E. Chang, O. K. Hussain, and F. K. Hussain, “Ontology usage analysis in the ontology lifecycle: A state-of-the-art review”, Knowl.-Based Syst., no. 80, pp. 34‒47, 2015.
• [8] G. Kalani, Industrial Process Control: Advances and Applications, Gulf Professional Publishing, 2002.
• [9] X. Hong and W. Jianhua, “An extendable data engine based on OPC specification”, Computer Standards & Interfaces, vol. 26(6), pp. 515‒525, 2004.
• [10] S. Cavalieri and F. Chiacchio, “Analysis of OPC UA performances”, Computer Standards & Interfaces, vol. 36(1), pp. 165‒177, 2013.
• [11] X. Hong and W. Jianhua, “Using standard components in automation industry: A study on OPC Specification”, Computer Standards & Interfaces, vol. 28(4), pp. 386‒395, 2006.
• [12] C. Sahin and E.D. Bolat, “Development of remote control and monitoring of web-based distributed OPC system”, Computer Standards & Interfaces, vol. 31(5), pp. 984‒993, 2009.
• [13] OPC Foundation: Home Page, OPC Foundation, [Online]. Available: https://opcfoundation.org. [Accessed 13 August 2017].
• [14] F. Iwanitz and J. Lange, OPC – Fundamentals, Implementation and Application, Huthig Verlag Heidelberg, 2006.
• [15] J.M. Zamarreño, R. Mazaeda, J.A. Caminero, A.J. Rivero, and J.C. Arroyo, “A new plug-in for the creation of OPC servers based on EcosimPro© simulation software”, Simulation Modelling Practice and Theory, vol. 40, pp. 86‒94, 2014.
• [16] V. Kapsalis, Ch. Fidas, and L. Hadellis, “Towards a Domain-Specific Context Acquisition, Presentation and Rule-Based Control Platform”, Int. J. Pervasive Computing and Communications, vol. 9(1), 2013.
• [17] J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice-Hall, Inc., 1981.
• [18] R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer-Verlag Berlin Heidelberg, 2010.
• [19] M.V. Ioradche and P.J. Antsaklis, Supervisory Control of Concurrent Systems. A Petri Net Structural Approach, Birkhauser Boston, 2006.
• [20] E. Villani, P.E. Miyagi, and R. Valette, Modelling and Analysis of Hybrid Supervisory Systems. A Petri Net Approach, Springer-Verlag London Ltd., 2007.
• [21] B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, 1980.
• [22] M.J. Cresswell and G.E. Hughes, A New Introduction to Modal Logic, Routledge, 1996.
• [23] M. Fisher, An Introduction to Practical Formal Methods Using Temporal Logic, Wiley, 2011.
• [24] F. Belardinelli and A. Lomuscio, “Quantified epistemic logics for reasoning about knowledge in multi-agent systems”, Artif. Intell., vol. 173, no. 9‒10, pp. 982‒1013, 2009.
• [25] F. Belardinelli and A. Lomuscio, “First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment”, Fundam. Inform., vol. 106, no. 2‒4, pp. 175‒190, 2011.
• [26] W. Van der Hoek and M. Wooldridge, “Model Checking Knowledge and Time.,” SPIN, pp. 95‒111, 2002.
• [27] F. Raimondi and A. Lomuscio, “Automatic verification of multiagent systems by model checking via ordered binary decision diagrams”, J. Applied Logic, vol. 5, no. 2, pp. 235‒251, 2007.
• [28] A. Lomuscio and B. Woźna, “A Temporal Epistemic Logic with a Reset Operation”, in AAMAS, 2007.
• [29] B. Woźna, A. Lomuscio, and W. Penczek, “Bounded Model Checking for Knowledge and Real Time”, in AAMAS, 2005.
• [30] D. Berardi, D. Calvanese, and D.G. Giacomo, “Reasoning on UML class diagrams”, in Artif. Intell. 168(1‒2): pp. 70‒118, 2005.
• [31] L. Shan and H. Zhu, “A Formal Descriptive Semantics of UML”, ICFEM, pp. 375‒396, 2008.
• [32] B. Beckert, U. Keller, and P.H. Schmitt, “Translating the Object Constraint Language into First-order Predicate Logic”, in In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), 2002.
• [33] B. Woźna and A. Lomuscio, “A Logic for Knowledge, Correctness, and Real Time”, in CLIMA, 2004.
• [34] D. Choiński, M. Senik, and B. Pietrzyk, “Ontology-based Management of a Network for Distributed Control System”, INFOCOMP, pp. 97‒102, 2014.
• [35] D. Choiński and M. Senik, “Multilayer automated methods for the system integration”, in Luo, Y. (ed), CDVE 2011, LNCS vol. 6874, pp 86‒93. Springer-Verlag Berlin Heidelberg, 2011.
• [36] D. Choiński and M. Senik, “Multi-Agent oriented integration in Distributed Control System”, in J. O’Shea et al. (eds.), KES-AMSTA 2011, LNAI. Vol. 6682, Springer, Heidelberg, pp. 231‒240, 2011.
• [37] D. Choiński, M. Senik, “Ontology Based Knowledge Management and Learning in Multi-Agent System”, in KES-AMSTA 2012, LNCS Vol 7327, Springer, Heidelberg, pp. 65‒74, 2012.
• [38] F. Bellifemine, G. Caire, and D. Greenwood, Developing Multi-Agent Systems with JADE, John Wiley & Sons Ltd, 2007.

Uwagi

PL

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).