Deriving real-time action systems with multiple time bands using algebraic reasoning.
Brijesh DongolIan J. HayesJohn DerrickPublished in: Sci. Comput. Program. (2014)
Keyphrases
- real time
- telecommunication systems
- knowledge base
- reasoning systems
- reason maintenance
- computer systems
- knowledge representation
- low cost
- vision system
- intelligent systems
- human machine interface
- diagnostic systems
- retrieval systems
- cell processor
- advanced driver assistance systems
- safety critical
- computing systems
- expert systems
- multi agent systems
- decision making