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
Bibliographic Information
- N. V. Nagul
- Affiliation: Institute for System Dynamics and Control Theory, Siberian Branch, Russian Academy of Sciences, Lermontova str. 134, Irkutsk, Russia
- Email: sapling@icc.ru
- Received by editor(s): April 1, 2007
- Published electronically: May 24, 2013
- Additional Notes: Supported by RFBR (grants nos. 12-08-90018-Bel-a and no. 11-07-00655-a) and by the Project no. 10 of the Presidium of SB RAS
- © Copyright 2013 American Mathematical Society
- Journal: St. Petersburg Math. J. 24 (2013), 645-662
- MSC (2010): Primary 03C40; Secondary 08A99, 03C98
- DOI: https://doi.org/10.1090/S1061-0022-2013-01258-1
- MathSciNet review: 3088011