Geodesic
To the Question of Optimizing the Real-time Controlling Algorithms
Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, no. 1 (2009), pp. 260-266.

Voir la notice de l'article provenant de la source Math-Net.Ru

The problem of machine-independent optimization is studied for the programs, based on real-time controlling algorithm. This article describes a mathematical model of the controlling algorithm semantics and equivalent optimizing transformations based on it.
Keywords: mathematical model, control algorithm, equivalent optimizing transformations, functional task, system of the linear equations, binary tree. 
@article{VSGTU_2009_1_a28,
     author = {A. A. Tyugashev and A. Yu. Bogatov},
     title = {To the {Question} of {Optimizing} the {Real-time} {Controlling} {Algorithms}},
     journal = {Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences},
     pages = {260--266},
     publisher = {mathdoc},
     number = {1},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSGTU_2009_1_a28/}
}
TY  - JOUR
AU  - A. A. Tyugashev
AU  - A. Yu. Bogatov
TI  - To the Question of Optimizing the Real-time Controlling Algorithms
JO  - Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences
PY  - 2009
SP  - 260
EP  - 266
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VSGTU_2009_1_a28/
LA  - ru
ID  - VSGTU_2009_1_a28
ER  - 
%0 Journal Article
%A A. A. Tyugashev
%A A. Yu. Bogatov
%T To the Question of Optimizing the Real-time Controlling Algorithms
%J Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences
%D 2009
%P 260-266
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VSGTU_2009_1_a28/
%G ru
%F VSGTU_2009_1_a28
A. A. Tyugashev; A. Yu. Bogatov. To the Question of Optimizing the Real-time Controlling Algorithms. Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, no. 1 (2009), pp. 260-266. http://geodesic.mathdoc.fr/item/VSGTU_2009_1_a28/

[1] Glushkov V. M., Tseitlin G. E., Yuschenko E. L., Algebra. Yazyki. Programmirovanie, Naukova dumka, Kiev, 1989, 376 pp. | Zbl

[2] Vostokin S. V., Graficheskaya ob'ektnaya model parallelnykh protsessov i ee primenenie v zadachakh chislennogo modelirovaniya, SNTs RAN, Samara, 2007, 286 pp.

[3] Kalentev A. A., Avtomatizirovannyi sintez algoritmov asinkhronnogo upravleniya tekhnicheskimi sistemami s mnozhestvom diskretnykh sostoyanii, CGAU, Samara, 1998, 204 pp.

[4] Kasyanov V. N., Optimiziruyuschie preobrazovaniya programm, Nauka, M., 1988, 335 pp. | MR | Zbl

[5] Lavrov S. S., Programmirovanie. Matematicheskie osnovy, sredstva, teoriya., BKhV-Peterburg, SPb., 2001, 320 pp.

[6] Tyugashëv A. A., “Integrirovannaya sreda dlya proektirovaniya upravlyayuschikh algoritmov realnogo vremeni”, Izvest. RAN. Teoriya i sistemy upravleniya, 2006, no. 2, 128–141 | Zbl

[7] Tyugashëv A. A., “Problema neodnoznachnosti pri porozhdenii logiko-vremennoi struktury upravlyayuschego algoritma po mnogovkhodovoi modeli realnogo vremeni”, BIKAMP-01, Sb. tr. Tretei mezhdunarodn. molodezhn. shk.-sem, GUAP, SPb., 2001, 51–58

[8] Uspenskii V. A., Semenov A. L., Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Nauka, M., 1987, 288 pp. | MR