Remote Access St. Petersburg Mathematical Journal

St. Petersburg Mathematical Journal

ISSN 1547-7371(online) ISSN 1061-0022(print)

Request Permissions   Purchase Content 
 
 

 

The logic-algebraic equations method in system dynamics


Author: N. V. Nagul
Translated by: the author
Original publication: Algebra i Analiz, tom 24 (2012), nomer 4.
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
Published electronically: May 24, 2013
MathSciNet review: 3088011
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • 1. N. Bourbaki, Elements of mathematics. Theory of sets, Addison-Wesley Publ. Co., Reading, MA etc., Hermann, Paris, 1968. MR 0237342 (38:5631)
  • 2. 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)
  • 3. -, A reduction method and qualitative analysis of dynamical systems. I, II, Izv. Ross. Akad. Nauk Teor. Sist. Upr. 2006, no. 1, 21-29; 2006, no. 2, 5-17; English transl., J. Comput. Syst. Sci. Int. 45 (2006), 17-25, 167-179. MR 2258536 (2007e:93034a); MR 2258537 (2007e:93034b)
  • 4. -, The comparison method in systems analysis. I-IV, Differentsial'nye Uravneniya 17 (1981), no. 9, 1562-1573; 17 (1981), no. 11, 1945-1954; 18 (1982), no. 2, 197-205; 18 (1982), no. 6, 938-947; English transl., Differ. Equ. 17 (1981), no. 9, 985-993 (1982); 17 (1981), no. 11, 1222-1230 (1982); 18 (1982), no. 2, 155-161; 18 (1982), no. 6, 657-665. MR 0631770 (84a:49056a); MR 0638520 (84a:49056b); MR 0649663 (84a:49056c); MR 0663798 (84a:49056d)
  • 5. -, Synthesis of theorems with VFL in mathematical systems theory, Dokt. diss., Irkutsk, 1988. (Russian)
  • 6. V. F. Zhuravlev, Foundations of theoretical mechanics, 2nd ed., Fizmatlit, Moscow, 2001. (Russian) MR 2057304 (2005d:70002)
  • 7. A. V. Kavinov and A. P. Krishchenko, Stability of solutions in different variables, Differentsial'lnye Uravneniya 43 (2007), no. 11, 1470-1473; English transl., Differ. Equ. 43 (2007), no. 11, 1505-1509. MR 2435951 (2009f:34116)
  • 8. A. I. Mal'tsev, Algebraic systems, Nauka, Moscow, 1970; English transl., Grundlehren Math. Wiss., Bd. 192, Springer-Verlag, New York-Heidelberg, 1973. MR 0282908 (44:142); MR 0349384 (50:1878)
  • 9. -, Model correspondences, Izv. Akad. Nauk SSSR Ser. Mat. 23 (1959), no. 3, 313-336. (Russian) MR 0120152 (22:10909)
  • 10. V. M. Matrosov, The comparison method in the dynamics of systems. I, II, Differentsial'nye Uravneniya 10 (1974), no. 9, 1547-1559; 11 (1975), no. 3, 403-417; English transl. in Differ. Equ. 10 (1974), no. 9; 11 (1975), no. 3. MR 0374574 (51:10774)
  • 11. N. V. Nagul, On the preservation of the properties of many-sorted algebraic systems, Vestn. Samar. Gos. Univ. Estestvennonauchn. Ser. 2007, no. 6, 223-241. (Russian) MR 2387789 (2009a:03013)
  • 12. -, Preservation of properties of schedules in a model of public transport, Sovrem. Tekhnol. Sistem. Anal. Modelir. 2010, no. 4 (28), 150-159. (Russian)
  • 13. S. Feferman, Harmonious logic: Craig's interpolation theorem and its descendants, Synthese 164 (2008), 341-357. MR 2438874 (2009j:03002)
  • 14. P. J. Higgins, Algebras with a scheme of operators, Math. Nachr. 27 (1963), 115-132. MR 0163940 (29:1239)
  • 15. A. N. Michel, K. Wang, and Bo Hu, Qualitative theory of dynamical systems, Monogr. Textbooks Pure Appl. Math., vol. 239, Marcel Dekker, Inc., New York, 2001. MR 1816096 (2002e:34001)
  • 16. S. N. Vassilyev, Machine synthesis of mathematical theorems, J. Logic Programming 9 (1990), no. 2-3, 235-266. MR 1072279 (91g:68145)

Similar Articles

Retrieve articles in St. Petersburg Mathematical Journal with MSC (2010): 03C40, 08A99, 03C98

Retrieve articles in all journals with MSC (2010): 03C40, 08A99, 03C98


Additional 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

DOI: https://doi.org/10.1090/S1061-0022-2013-01258-1
Keywords: Property preservation, many-sorted algebra, discrete-event system
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
Article copyright: © Copyright 2013 American Mathematical Society

American Mathematical Society