Skip to main content
SpringerLink
Log in

Models and Algorithms of Automata Theory for the Control of an Aircraft Group

  • Problems of Optimization and Simulation at Control of Development of Large-Scale Systems
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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.

    Google Scholar 

  2. Bogomolov, A.S., Preventing Critical Combinations of Events in an Aviation Transportation System, in Proc. VII Int. Sci. Conf. “Computer Science and Information Technologies,” Saratov, 2016, pp. 79–84.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    MathSciNet  MATH  Google Scholar 

  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.

    Google Scholar 

  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.

    MATH  Google Scholar 

  10. Rezchikov, A., Dolinina, O., Kushnikov, V., Ivaschenko, V., Kachur, K., Bogomolov, A., and Filimonyuk, L., The Problem of a Human Factor in Aviation Transport Systems, in Proc. 3rd Int. Conf. on Computing, Technology and Engineering (ICCTE 2016), Singapore, 2016, pp. 16–20.

    Google Scholar 

  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.

    Google Scholar 

  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, Obshcheross. Nauch.-Tekhn. J. “Polet,” 2013, no. 5, pp. 3–10.

    Google Scholar 

  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.

    MathSciNet  Google Scholar 

  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.

    MATH  Google Scholar 

  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.

    MATH  Google Scholar 

  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.

Download references

Author information

Authors and Affiliations

  1. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

    A. F. Rezchikov

  2. Institute of Precision Mechanics and Control, Russian Academy of Sciences, Saratov, Russia

    V. A. Kushnikov & V. A. Ivashchenko

  3. Chernyshevsky Saratov National Research University, Saratov, Russia

    A. S. Bogomolov

  4. Gagarin Saratov State Technical University, Saratov, Russia

    L. Yu. Filimonyuk

Authors
  1. A. F. Rezchikov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. A. Kushnikov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. A. Ivashchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. S. Bogomolov
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. L. Yu. Filimonyuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. F. Rezchikov.

Additional information

Original Russian Text © A.F. Rezchikov, V.A. Kushnikov, V.A. Ivashchenko, A.S. Bogomolov, L.Yu. Filimonyuk, 2018, published in Avtomatika i Telemekhanika, 2018, No. 10, pp. 154–163.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rezchikov, A.F., Kushnikov, V.A., Ivashchenko, V.A. et al. Models and Algorithms of Automata Theory for the Control of an Aircraft Group. Autom Remote Control 79, 1863–1870 (2018). https://doi.org/10.1134/S0005117918100107

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117918100107

Keywords

Search

Navigation