The logic-algebraic equations method in system dynamics

Nagul, N.

doi:10.1090/S1061-0022-2013-01258-1

The logic-algebraic equations method in system dynamics
HTML articles powered by AMS MathViewer

by N. V. Nagul
Translated by: the author

St. Petersburg Math. J. 24 (2013), 645-662

DOI: https://doi.org/10.1090/S1061-0022-2013-01258-1

Published electronically: May 24, 2013

PDF | Request permission

Abstract:

An algorithm is proposed for constructing conditions that ensure the preservation of properties of many-sorted algebraic systems. The functions and relations of such systems are defined on arbitrary steps in the sense of Bourbaki. Preservation conditions are generated as solutions of logic-algebraic equations. The coupling mappings between systems have a nature of morphisms and their canonical expansions to steps. The method is illustrated by the example of analysis of a dynamical property of a discrete-event system.

References

Nicolas Bourbaki, Elements of mathematics. Theory of sets, Hermann, Publishers in Arts and Science, Paris; Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1968. Translated from the French. MR 0237342
S. N. Vasil′ev, A representability method in logico-algebraic approach to qualitative analysis of dynamical systems, Optim. Upravl. Intellekt 2005, no. 3(11), 248–254. (Russian)
S. N. Vasil′ev, A reduction method and qualitative analysis of dynamical systems. I, Izv. Ross. Akad. Nauk Teor. Sist. Upr. 1 (2006), 21–29 (Russian, with Russian summary); English transl., J. Comput. Syst. Sci. Int. 45 (2006), no. 1, 17–25. MR 2258536, DOI 10.1134/S1064230706010023
S. N. Vasil′ev, The comparison method in systems analysis. I, Differentsial′nye Uravneniya 17 (1981), no. 9, 1562–1573, 1722 (Russian). MR 631770
—, Synthesis of theorems with VFL in mathematical systems theory, Dokt. diss., Irkutsk, 1988. (Russian)
V. F. Zhuravlëv, Osnovy teoreticheskoĭ mekhaniki, 2nd ed., Izdatel′stvo Fiziko-Matematicheskoĭ Literatury, Moscow, 2001 (Russian, with Russian summary). MR 2057304
A. V. Kavinov and A. P. Krishchenko, Stability of solutions in different variables, Differ. Uravn. 43 (2007), no. 11, 1470–1473, 1581–1582 (Russian, with Russian summary); English transl., Differ. Equ. 43 (2007), no. 11, 1505–1509. MR 2435951, DOI 10.1134/S0012266107110043
A. I. Mal′cev, Algebraicheskie sistemy, Posthumous edition, Izdat. “Nauka”, Moscow, 1970 (Russian). Edited by D. Smirnov and M. Taĭclin. MR 0282908
A. I. Mal′cev, Model correspondences, Izv. Akad. Nauk SSSR Ser. Mat. 23 (1959), 313–336 (Russian). MR 0120152
V. M. Matrosov, The comparison method in the dynamics of systems. I, II, Differencial′nye Uravnenija 10 (1974), 1547–1559, 1730; ibid. 11 (1975), 403–417, 586 (Russian). MR 0374574
N. V. Nagul, On the preservation of the properties of many-sorted algebraic systems, Vestn. Samar. Gos. Univ. Estestvennonauchn. Ser. 6 (2007), 223–241 (Russian, with English and Russian summaries). MR 2387789
—, Preservation of properties of schedules in a model of public transport, Sovrem. Tekhnol. Sistem. Anal. Modelir. 2010, no. 4 (28), 150–159. (Russian)
Solomon Feferman, Harmonious logic: Craig’s interpolation theorem and its descendants, Synthese 164 (2008), no. 3, 341–357. MR 2438874, DOI 10.1007/s11229-008-9354-2
Philip J. Higgins, Algebras with a scheme of operators, Math. Nachr. 27 (1963), 115–132. MR 163940, DOI 10.1002/mana.19630270108
Anthony N. Michel, Kaining Wang, and Bo Hu, Qualitative theory of dynamical systems, Monographs and Textbooks in Pure and Applied Mathematics, vol. 239, Marcel Dekker, Inc., New York, 2001. The role of stability preserving mappings; Second edition, revised and expanded. MR 1816096, DOI 10.1201/9780203908297
S. N. Vassilyev, Machine synthesis of mathematical theorems, J. Logic Programming 9 (1990), no. 2-3, 235–266. MR 1072279, DOI 10.1016/0743-1066(90)90042-4