On the implication of properties of related systems: a method for obtaining implication conditions and application examples

DOI10.1134/S1064230720040140MaRDI QIDQ1995338zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

General systems (93A10) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

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

Cites work

• scientific article; zbMATH DE number 3735626 (Why is no real title available?)
• scientific article; zbMATH DE number 3488959 (Why is no real title available?)
• scientific article; zbMATH DE number 3501308 (Why is no real title available?)
• scientific article; zbMATH DE number 1557965 (Why is no real title available?)
• scientific article; zbMATH DE number 3280051 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• A reduction method and qualitative analysis of dynamic systems. II
• Derivation of preservation conditions for properties of mathematical models
• Logical equations in monadic logic
• Machine synthesis of mathematical theorems
• Method of reduction and qualitative analysis of dynamic systems. I
• Properties preserved under homomorphism
• Stability theory by Liapunov's direct method
• The logic-algebraic equations method in system dynamics

Cited in

(6)

• A PROCEDURE OF IMPLICATION USING QUANTIFIABLE BINARY RELATION ON THE STRUCTURAL MODELING
• On the asymptotic behavior of mechanical systems with friction
• Attraction for mechanical systems with friction
• Method of limiting differential inclusions and asymptotic behavior of systems with relay controls
• Implication Structures for System Interconnection Matrices
• Derivation of preservation conditions for properties of mathematical models

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)