DocumentCode
3134447
Title
Timing specification and rule-based systems
Author
Zijderveld, P.D. ; Traore, I. ; Vingerhoeds, R.A. ; Sahraoui, A.E.K.
Author_Institution
Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
fYear
1997
fDate
11-13 Jun 1997
Firstpage
177
Abstract
The solution for the non-determinism of real-time expert systems is found in the state-based approach. Timing verification can be performed off-line before the expert system is taken in use. This approach has been verified on a digital (fly-by-wire) flight control system of a jet aircraft
Keywords
aerospace expert systems; aircraft; expert systems; formal specification; formal verification; knowledge verification; real-time systems; timing; digital flight control system; jet aircraft; nondeterminism; real-time expert systems; rule-based systems; state-based approach; timing specification; timing verification; Aerospace control; Artificial intelligence; Artificial neural networks; Control systems; Expert systems; Informatics; Knowledge based systems; Mathematics; Real time systems; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Conference_Location
Toledo
Print_ISBN
0-8186-8034-2
Type
conf
DOI
10.1109/EMWRTS.1997.613779
Filename
613779
Link To Document