Handling timing in a time-critical reasoning system - A case study

Annual Reviews in Control

Volumn 25, Issue , 2001, Pages 157-167

  Naks, T ^a,b   Motus, L ^a  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

^b IB Krates   (Estonia)

Author keywords

Case based reasoning; Formal verification of timing; Run time monitoring of timing; Time critical reasoning; Timing requirements and constraints

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE; CONSTRAINT THEORY; FUZZY CONTROL; HEURISTIC METHODS; PROBABILISTIC LOGICS;

TIME-CRITICAL REASONING SYSTEMS;

INFORMATION TECHNOLOGY;

EID: 0034992261     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(01)00015-3     Document Type: Article

References (13)

1. Advances in neuro-fuzzy algorithms for real-time modelling and control
2. Formal timing analysis of OMT designs using LIMITS
3. Automatic fault-tree generation, a generic approach for fault diagnosis systems
4. Large-scale fault diagnosis for on-board train systems
5. Some ideas for advancement of the Q-model based embedded software engineering environment CONRAD
6. Probabilistic reasoning in an augmented fact-proposition space and its applications
7. Knowledge-based support of system analysis for the analysis of failure modes and effects