Lyapunov based reasoning methods

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 31, Issue 6, 2001, Pages 546-548

  Hofbaur, Michael ^a,b   Dourdoumas, Nico ^a,b  

^a IEEE   (Austria)

^b GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Lyapunov analysis; Qualitative simulation; Semiquantitative simulation; Uncertain dynamic systems

Indexed keywords

AUTOMATED REASONING; LYAPUNOV BASED REASONING METHODS; SEMIQUANTITATIVE SIMULATION;

ALGORITHMS; COMPUTER SIMULATION; KNOWLEDGE BASED SYSTEMS; LYAPUNOV METHODS; MATHEMATICAL MODELS;

UNCERTAIN SYSTEMS;

EID: 0035521275     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.983412     Document Type: Article

References (30)

1. Qualitative process theory
2. KAM: Automatic planning and interpretation of numerical experiments using geometrical methods
3. A qualitative physics based on confluences
4. Qualitative simulation
5. The use of partial quantitative information with qualitative reasoning
6. SQSIM: A simulator for imprecise ODE models
7. Causality in device behavior
8. Static and dynamic abstraction solves the problem of chatter in qualitative simulation
9. A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
10. Improved filtering for the QSIM algorithm
11. Reasoning about energy in qualitative simulation
12. Constraint satisfaction
13. The use of continuity in a qualitative physics
14. Doing time: Putting qualitative reasoning on firmer ground
15. Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation
16. Structured and simultaneous Lyapunov functions for system stability problems
17. SP: Software for semidefinite programming
18. Semidefinite programming
19. Lyapunov methods for semiquantitative simulation
20. Solving complexity and ambiguity problems within qualitative simulation