The logic-algebraic equations method in system dynamics

DOI10.1090/S1061-0022-2013-01258-1zbMath1272.93039OpenAlexW1994842846MaRDI QIDQ2849193

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)

Related Items (2)

Generating conditions for preserving the properties of controlled discrete event systems ⋮ On the implication of properties of related systems: a method for obtaining implication conditions and application examples

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stability of solutions in different variables
• Harmonious logic: Craig's interpolation theorem and its descendants
• A reduction method and qualitative analysis of dynamic systems. II
• Machine synthesis of mathematical theorems
• Algebras with a Scheme of Operators

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