The logic-algebraic equations method in system dynamics

DOI10.1090/S1061-0022-2013-01258-1MaRDI QIDQ2849193zbMATH OpenOpenAlexFDO

Authors N. V. Nagul

Publication date 17 September 2013

Published in St. Petersburg Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s1061-0022-2013-01258-1

zbMATH Keywords

system dynamicslogic-algebraic equationsmany-sorted algebradiscrete-event systemproperty preservation

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Recommendations

• scientific article; zbMATH DE number 65805
• An algorithm for the solution of systems of logical equations
• From equations to patterns: Logic-based approach to general systems theory
• Logics of dynamical systems
• Computational Science – ICCS 2005
• scientific article; zbMATH DE number 4166881
• An algebraic state space approach to logical dynamic systems and its applications
• An algorithm for the solution of a system of logical equations
• Logical equations with applications to automatic design and control
• Differential-algebraic decision methods and some applications to system theory

Cites work

• scientific article; zbMATH DE number 3488959 (Why is no real title available?)
• scientific article; zbMATH DE number 1557965 (Why is no real title available?)
• scientific article; zbMATH DE number 2138834 (Why is no real title available?)
• A reduction method and qualitative analysis of dynamic systems. II
• Algebras with a Scheme of Operators
• Harmonious logic: Craig's interpolation theorem and its descendants
• Machine synthesis of mathematical theorems
• On the preservation of the properties of many-sorted algebraic systems
• Stability of solutions in different variables

Cited in

(8)

• scientific article; zbMATH DE number 947089 (Why is no real title available?)
• Derivation of preservation conditions for properties of mathematical models
• On the implication of properties of related systems: a method for obtaining implication conditions and application examples
• On the preservation of the properties of many-sorted algebraic systems
• Generating conditions for preserving the properties of controlled discrete event systems
• On the formation of conservation for properties of the polybasic algebraic systems at morphisms
• From equations to patterns: Logic-based approach to general systems theory
• The dynamic system method and the traps

This page was built for publication: The logic-algebraic equations method in system dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849193)