The logic-algebraic equations method in system dynamics
From MaRDI portal
Publication:2849193
DOI10.1090/S1061-0022-2013-01258-1zbMath1272.93039OpenAlexW1994842846MaRDI QIDQ2849193
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
system dynamicslogic-algebraic equationsmany-sorted algebradiscrete-event systemproperty preservation
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