Title: The problems of consistent intelligent real-time control of complex systems

Authors: Andrey A. Tyugashev

Addresses: Samara State Technical University, 244 Molodogvardeyskaya Street, Samara, Russia

Abstract: There are a lot of complex technical systems with a growing impact on our life. We can mean railroad transportation, automated manufactories, automated agricultural systems, and aerospace missions, etc. Such systems consist of hundreds of sensors, actuators, aggregates, etc. To complete the specific tasks of the complex, we need to implement a required schedule of logically coordinated actions in real-time mode, even in case of faults of the equipment. The control means should be consistent in various senses defined and discussed in the article. The article further develops and generalises real-time control algorithms logic previously proposed by the author, for considering consistent control in case of limited available resources. The special software tools based on the presented approach are also being described.

Keywords: intelligent control; control of complex technical systems; real-time control algorithms; AI; program verification; formal methods.

DOI: 10.1504/IJRIS.2021.117081

International Journal of Reasoning-based Intelligent Systems, 2021 Vol.13 No.3, pp.172 - 181

Received: 20 Jan 2020
Accepted: 20 May 2020
Published online: 16 Aug 2021 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article