Sufficient optimality conditions for discrete automaton-type systems. (English. Russian original) Zbl 1279.49010
J. Comput. Syst. Sci. Int. 52, No. 1, 16-42 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2013, No. 1, 18-44 (2013).
Summary: A discrete system that models the operation of a dynamic automaton with memory is considered. In distinction from the ordinary models of discrete systems, in which the states are changed (switched) at prescribed instants of time, automaton-type systems may change their states at arbitrary instants. Furthermore, the choice of the instants when the automaton “fires” is a control resource and it is subject to optimization. Sufficient optimality conditions for such systems under a limited or unlimited number of switchings are proved. Equations for the synthesis of the optimal closed-loop control are derived. Applications of the optimality conditions are illustrated by examples.
MSC:
| 49K10 | Optimality conditions for free problems in two or more independent variables |
| 93C55 | Discrete-time control/observation systems |
| 93B52 | Feedback control |
Keywords:
discrete automaton-type systems; sufficient optimality conditions; optimal closed-loop controlReferences:
| [1] | S. N. Vasil’ev, A. K. Zherlov, E. A. Fedosov, et al., Intelligent Control of Dynamical Systems (Fizmatlit, Moscow, 2000) [in Russian]. |
| [2] | K. D. Zhuk, A. A. Timchenko, and T. I. Dalenko, Automated Design of Logical-Dynamical Systems (Naukova Dumka, Kiev, 1981) [in Russian]. |
| [3] | V. V. Semenov, ”Dynamic Programming in the Synthesis of Logical-Dynamical Systems,” Priborostroenie, No. 9, 71–77 (1984). |
| [4] | A. S. Bortakovskii, ”Sufficient Optimality Conditions for the Control in Logical-Dynamical Systems,” in Informatika. Ser. Avtomatizatsiya proektirovaniya (VNIIMI, Moscow, 1992), No. 2–3, pp. 72–79 [in Russian]. |
| [5] | Modelling and Analysis of Logic Controlled Dynamic Systems, Proc. of IFAC Workshop (Inst. Syst. Dyn. and Control Theory. Sib. Branch RAS, Irkutsk, 2003). |
| [6] | V. A. Baturin, E. V. Goncharova, and N. S. Maltugueva, ”Iterative Methods for Solution of Problems of Optimal Control of Logic-Dynamic Systems,” J. Comput. Syst. Sci. Int. 49, 207–221 (2010). · Zbl 1269.49026 · doi:10.1134/S1064230710050072 |
| [7] | R. W. Brockett, ”Hybrid Models for Motion Control Systems,” in Perspectives in the Theory and Its Applications (Birkhäuser, Boston, 1993), pp. 29–53. · Zbl 0844.93011 |
| [8] | S. Hedlund and A. Rantzer, ”Optimal Control of Hybrid Systems,” in Proc. of the 38th IEEE Conf. on Decision and Control, Phoenix, Ariz., 1999, pp. 3972–3977. |
| [9] | C. G. Cassandras, D. L. Pepyne, and Y. Wardi, ”Optimal Control of a Class of Hybrid Systems,” IEEE Trans. Aut. Contr. 46, 398–415 (2001). · Zbl 0992.93052 · doi:10.1109/9.911417 |
| [10] | V. I. Gurman, ”Models and Optimality Conditions for Hybrid Controlled Systems,” J. Comput. Syst. Sci. Int. 43, 560–565 (2004). |
| [11] | A. I. Propoi, Elements of the Theory of Optimal Discrete Systems (Nauka, Moscow, 1973) [in Russian]. · Zbl 0247.90061 |
| [12] | V. G. Boltyanskii, Optimal Control of Discrete Systems (Nauka, Moscow, 1973; Wiley, 1978). · Zbl 0249.49010 |
| [13] | A. S. Bortakovskii and E. A. Pegachkova, ”Synthesis of Optimal Deterministic Automaton-type Systems,” in Int. Collection of Papers on Theoretical Issues of Computer Science and Software (Izd-vo MIREA, Moscow, 2008), pp. 102–107 [in Russian]. · Zbl 1311.49090 |
| [14] | Yu. Zhuravin, ”Breeze-M Upper Stage,” Novosti Kosmonavtiki 10(8(211)) (2000). |
| [15] | A. S. Bortakovskii, ”Sufficient Conditions of Optimality of the Automaton Part of the Logical-Dynamical System,” J. Comput. Syst. Sci. Int. 45, 917–932 (2006). · Zbl 1263.49017 · doi:10.1134/S1064230706060074 |
| [16] | L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko, The Mathematical Theory of Optimal Processes (Nauka, Moscow, 1961; Interscience, New York, 1962; Gordon and Breach, New York, 1986). |
| [17] | A. S. Bortakovskii and A. V. Panteleev, ”Sufficient Optimality Conditions for Control of Continuous-Discrete Systems,” Avtom. Telemekh., No. 7, 57–66 (1987). |
| [18] | A. B. Kurzhanskii and P. A. Tochilin, ”Impulse Control in Models of Hybrid Systems,” Differ. Uravn. 45(3), 716–727 (2009). |
| [19] | B. M. Miller and E. Ya. Rubinovich, Optimization of Dynamical Systems with Impulse Controls (Nauka, Moscow, 2004) [in Russian]. |
| [20] | S. V. Emel’yanov, Automatic Control Systems with Variable Structure (Nauka, Moscow, 1967) [in Russian]. |
| [21] | D. Liberzon, Switching in Systems and Control (Springer, Berlin, 2003). · Zbl 1036.93001 |
| [22] | Z. Li, Y. Soh, and C. Wen, Switched and Impulsive Systems: Analysis, Design and Applications (Springer, Berlin, 2005). · Zbl 1060.93004 |
| [23] | X. Xu and P. J. Antsaklis, ”On Time Optimal Control of Integrator Switched Systems with State Constrains,” J. Nonlinear Analysis, Special Issue on Hybrid Systems 62, 1453–1465 (2005). · Zbl 1086.49021 |
| [24] | H. Axelsson, M. Boccadoro, M. Egerstedt, et al., ”Optimal Mode-Switching for Hybrid Systems with Varying Initial States,” J. Nonlinear Analys.: Hybrid Systems and Applications 2, 765–772 (2008). · Zbl 1215.49033 · doi:10.1016/j.nahs.2007.11.010 |
| [25] | V. I. Gurman, Extension Principle in Control Problems (Nauka, Moscow, 1985) [in Russian]. · Zbl 0900.49024 |
| [26] | V. F. Krotov and V. I. Gurman, Methods and Problems of Optimal Control (Nauka, Moscow, 1973) [in Russian]. |
| [27] | V. F. Dem’yanov and A. M. Rubinov, Foundations of Nonsmooth Analaysis and Quasi-Differential Calculus (Nauka, Moscow, 1990) [in Russian]. |
| [28] | A. S. Bortakovskii, ”Synthesis of Logical-Dynamical Systems on the Basis of Sufficient Optimality Conditions,” J. Comput. Syst. Sci. Int. 49, 207–221 (2010). · Zbl 1308.93082 · doi:10.1134/S1064230710020061 |
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.
