Applications of Hierarchical Reasoning in the Verification of Complex Systems.
Swen JacobsViorica Sofronie-StokkermansPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- complex systems
- dynamic systems
- knowledge base
- manufacturing systems
- qualitative reasoning
- biological systems
- computational systems
- steady state simulation
- mathematical models
- physical systems
- discrete event systems
- decision making
- multi agent systems
- model based diagnosis
- qualitative models
- computational intelligence