×

Models and algorithms of automata theory for the control of an aircraft group. (English. Russian original) Zbl 1406.93229

Autom. Remote Control 79, No. 10, 1863-1870 (2018); translation from Avtom. Telemekh. 2018, No. 10, 154-163 (2018).
Summary: We develop models and algorithms to control the process of landing aircraft under uncertainty of their positions in space caused by unfavorable, unforeseen external influences. As the objective function we consider the execution time of the dispatcher’s commands, and as constraints we introduce requirements for the safety of aircraft. Based on the developed formalism of generalized synchronization of linear automata, we develop an approach that makes it possible to reduce this problem to an integer linear programming problem. We consider an example of the use of the developed models and methods for controlling the aircraft landing process.

MSC:

93C95 Application models in control theory
93C41 Control/observation systems with incomplete information
68Q45 Formal languages and automata
90C10 Integer programming
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Rezchikov, A., Kushnikov, V., Ivaschenko, V., Bogomolov, A., Filimonyuk, L., and Kachur, K., Control of the Air Transportation System with Flight Safety as the Criterion, in Automation Control Theory Perspectives in Intelligent Systems, Proc. 5th Computer Science On-line Conf. 2016 (CSOC2016), Springer Int. Publishing Switzerland, 2016, vol. 3, pp. 423-432.
[2] Bogomolov, A. S., Preventing Critical Combinations of Events in an Aviation Transportation System, 79-84 (2016)
[3] Rezchikov, A.F. and Bogomolov, A.S., Critical Combinations of Events as Reasons for Failures in Human-Machine Systems, in Proc. VIII Int. Conf. “Managing Large-Scale Systems Development” (MLSD 2015), Moscow, 2015, vol. 1, pp. 130-135.
[4] Rezchikov, A.F. and Tverdokhlebov, V.A., Models and Methods for Finding Reasons for Critical Situations in Complex Systems, in Proc. VIII Intl. Conf. “Managing Large-Scale Systems Development” (MLSD 2015), Moscow, 2015, vol. 1, pp. 8214-8223.
[5] Klyuev, V.V., Rezchikov, A.F., Kushnikov, V.A., Tverdokhlebov, V.A., Ivashchenko, V.A., Bogomolov, A.S., and Filimonyuk, L.Yu., Analysis of Critical Situations Caused by an Unfortunate Coincidence, Kontrol. Diagnost., 2014, no. 7, pp. 12-16. · doi:10.14489/td.2014.07.pp.012-016
[6] Klyuev, V.V., Rezchikov, A.F., Bogomolov, A.S., and Filimonyuk, L.Yu., The Concept of a Complex Resource for Studies of Security for Human-Object-Environment Systems, Kontrol. Diagnost., 2013, no. 8, pp. 44-55.
[7] Bogomolov, A.S., Complex Control over Resources of Complex Human-Machine Systems, Izv. Saratov. Gos. Univ, Ser. Mat. Mekh. Informatika, 2013, vol. 13, no. 3, pp. 83-87. · Zbl 1304.90136
[8] Klyuev, V.V., Rezchikov, A.F., Bogomolov, A.S., Ukov, D.A., and Filimonyuk, L.Yu., Systems Approach to the Problem of Estimating Residual Resource in Human-Machine Systems, Kontrol. Diagnost., 2011, no. 8, pp. 9-13.
[9] Kushnikov, V.A., Rezchikov, A.F., and Tsvirkun, A.D., Sontrol in Man-Machine Systems with Automated Correction of Objectives, Meitan Kexun Jishu, 1998, vol. 26, no. 11, pp. 168-175. · Zbl 1054.93512
[10] Rezchikov, A.; Dolinina, O.; Kushnikov, V.; Ivaschenko, V.; Kachur, K.; Bogomolov, A.; Filimonyuk, L., The Problem of a Human Factor in Aviation Transport Systems, 16-20 (2016)
[11] Novozhilov, G.V., Rezchikov, A.F., Neimark, M.S., Bogomolov, A.S., Tsesarskii, L.G., and Filimonyuk, L.Yu., The Problem of Critical Combinations of Events in the “Crew-Aircraft-Dispatcher” System, Obshcheross. Nauch.-Tekhn. J. “Polet,” 2015, no. 2, pp. 10-16.
[12] Novozhilov, G.V., Rezchikov, A.F., Neimark, M.S., Bogomolov, A.S., Tsesarskii, L.G., and Filimonyuk, L.Yu., Human Factor in Aviation Transport Systems, <Emphasis Type=”Italic“>Obshcheross. Nauch.-Tekhn. J. “Polet,” 2013, no. 5, pp. 3-10.
[13] Bogomolov, A.S. and Speranskii, D.V., On an Optimal Synchronizing Experiment with Linear Automata, J. Comput. Syst. Sci. Int., 2002, vol. 41, no. 3, pp. 397-403.
[14] Trahtman, A., Modifying the Upper Bound on the Length ofMinimal SynchronizingWord, Fundamentals Comput. Theory, Lect. Notes Comput. Sci., 2011, vol. 6914, pp. 173-180. · Zbl 1342.68188
[15] Gill, A., Linear Sequential Circuits; Analysis, Synthesis, and Applications, New York: McGraw-Hill, 1966. Translated under the title Lineinye posledovatel’nostnye mashiny, Moscow: Nauka, 1974. · Zbl 0302.94011
[16] On Establishing the Aviation Rules “Order of Operation for Radio Communication in the Air Space of the Russian Federation.” Directive of the Russian Ministry of Transportation, September 26, 2012, no. 362.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.