A comparison principle in theorem derivation. II

Name: A comparison principle in theorem derivation. II
Keywords: Comparison Principle, Algorithm, Stability of control systems, Abstract Control Theory, Theorem Proving, Invariance, Control/observation systems in abstract spaces, Automatic Theorem Derivation, Dynamic Processes, Stability

descriptionPublicationkeyboard_double_arrow_right Article Publisher:Academy of Sciences of the Union of Soviet Socialist Republics - USSR (Akademiya Nauk SSSR), Moscow; Nauka, Moscow

Authors: Matrosov, V. M.; Vasil'ev, S. N.;

A comparison principle in theorem derivation. II

- Summary
- Subjects

No summary information available

Keywords

Comparison Principle, Algorithm, Stability of control systems, Abstract Control Theory, Theorem Proving, Invariance, Control/observation systems in abstract spaces, Automatic Theorem Derivation, Dynamic Processes, Stability, Asymptotic Behaviour, Theorem proving (deduction, resolution, etc.)

Found an issue? Give us feedback