On the implication of properties of related systems: a method for obtaining implication conditions and application examples
DOI10.1134/S1064230720040140zbMATH Open1458.93007OpenAlexW3083024564MaRDI QIDQ1995338FDOQ1995338
Authors: Yanyan Li 
Publication date: 23 February 2021
Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s1064230720040140
Recommendations
- Derivation of preservation conditions for properties of mathematical models
- Implication Structures for System Interconnection Matrices
- Automatic construction of implicative theories for mathematical domains
- The logic-algebraic equations method in system dynamics
- A theorem and a procedure for the complete implication matrix of system interconnection matrices
General systems (93A10) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
Cites Work
- Stability theory by Liapunov's direct method
- Derivation of preservation conditions for properties of mathematical models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logic-algebraic equations method in system dynamics
- Properties preserved under homomorphism
- Title not available (Why is that?)
- Method of reduction and qualitative analysis of dynamic systems. I
- Logical equations in monadic logic
- A reduction method and qualitative analysis of dynamic systems. II
- Title not available (Why is that?)
- Machine synthesis of mathematical theorems
Cited In (6)
- On the asymptotic behavior of mechanical systems with friction
- Derivation of preservation conditions for properties of mathematical models
- Attraction for mechanical systems with friction
- Implication Structures for System Interconnection Matrices
- A PROCEDURE OF IMPLICATION USING QUANTIFIABLE BINARY RELATION ON THE STRUCTURAL MODELING
- Method of limiting differential inclusions and asymptotic behavior of systems with relay controls
This page was built for publication: On the implication of properties of related systems: a method for obtaining implication conditions and application examples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995338)
