Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles
The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system. The most significant result was the proposed approach to...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Academy of Sciences of Moldova
2022-08-01
|
| Series: | Problems of the Regional Energetics |
| Subjects: | |
| Online Access: | https://journal.ie.asm.md/assets/files/12_03_55_2022.pdf |
| _version_ | 1817999982227095552 |
|---|---|
| author | Chistov V. Zakharchenko I. Pavlenko V. Pavlenko M. Berdnik P. Timochko A. Kryzhevskaya K. |
| author_facet | Chistov V. Zakharchenko I. Pavlenko V. Pavlenko M. Berdnik P. Timochko A. Kryzhevskaya K. |
| author_sort | Chistov V. |
| collection | DOAJ |
| description | The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system. The most significant result was the proposed approach to formalization. With its help, within the framework of a single formalism, the dynamic properties of the subject area and the logical-analytical activity of the power system dispatcher, presented in different classes of formal logics, were described. The significance of the results obtained lies in the possibility of a rigorous description of various aspects of knowledge within the framework of a single formal apparatus with further pragmatic interpretation in the management process. The proposed approach was distinguished by using the axioms of aletic and deontic logics and the development of axioms that reflect the specifics of the problems being solved. The introduced system of basic concepts and relations makes it possible to classify many decision-making problems for the power systems management. The goals were described within the framework of a single formalism form the basis of the apparatus for formalizing the decision-making problems of the class under consideration. The formalization apparatus provides a description of the dynamic properties of the system within each aspect of knowledge of the content paradigm. The direction of further research is the construction of an appropriate formal theory based on the proposed formal system. |
| first_indexed | 2024-04-14T03:16:27Z |
| format | Article |
| id | doaj.art-eb6583b9f8984beda848af828207e03f |
| institution | Directory Open Access Journal |
| issn | 1857-0070 |
| language | English |
| last_indexed | 2024-04-14T03:16:27Z |
| publishDate | 2022-08-01 |
| publisher | Academy of Sciences of Moldova |
| record_format | Article |
| series | Problems of the Regional Energetics |
| spelling | doaj.art-eb6583b9f8984beda848af828207e03f2022-12-22T02:15:27ZengAcademy of Sciences of MoldovaProblems of the Regional Energetics1857-00702022-08-0155315616710.52254/1857-0070.2022.3-55.12Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles Chistov V.0Zakharchenko I.1Pavlenko V.2Pavlenko M.3Berdnik P.4Timochko A.5Kryzhevskaya K.6Kharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineThe purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system. The most significant result was the proposed approach to formalization. With its help, within the framework of a single formalism, the dynamic properties of the subject area and the logical-analytical activity of the power system dispatcher, presented in different classes of formal logics, were described. The significance of the results obtained lies in the possibility of a rigorous description of various aspects of knowledge within the framework of a single formal apparatus with further pragmatic interpretation in the management process. The proposed approach was distinguished by using the axioms of aletic and deontic logics and the development of axioms that reflect the specifics of the problems being solved. The introduced system of basic concepts and relations makes it possible to classify many decision-making problems for the power systems management. The goals were described within the framework of a single formalism form the basis of the apparatus for formalizing the decision-making problems of the class under consideration. The formalization apparatus provides a description of the dynamic properties of the system within each aspect of knowledge of the content paradigm. The direction of further research is the construction of an appropriate formal theory based on the proposed formal system.https://journal.ie.asm.md/assets/files/12_03_55_2022.pdfcontrol systemdecision-making systempower system |
| spellingShingle | Chistov V. Zakharchenko I. Pavlenko V. Pavlenko M. Berdnik P. Timochko A. Kryzhevskaya K. Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles Problems of the Regional Energetics control system decision-making system power system |
| title | Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles |
| title_full | Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles |
| title_fullStr | Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles |
| title_full_unstemmed | Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles |
| title_short | Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles |
| title_sort | using the mathematical apparatus of cellular automata to solve the problem of monitoring critical infrastructure objects by unmanned aerial vehicles |
| topic | control system decision-making system power system |
| url | https://journal.ie.asm.md/assets/files/12_03_55_2022.pdf |
| work_keys_str_mv | AT chistovv usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT zakharchenkoi usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT pavlenkov usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT pavlenkom usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT berdnikp usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT timochkoa usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles AT kryzhevskayak usingthemathematicalapparatusofcellularautomatatosolvetheproblemofmonitoringcriticalinfrastructureobjectsbyunmannedaerialvehicles |