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.
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: 06 Aug 2021 *