DocumentCode
1991969
Title
Verifying properties of online adaptive systems
Author
Ayed, R.B. ; Mili, A. ; Guan Jie Jiang ; Cukic, B. ; Yan Liu
Author_Institution
Ecole Nationale d´´Ingenieurs de Tunis, Univ. of Tunis El Manar, Belvedere, Tunisia
fYear
2003
fDate
14-18 July 2003
Firstpage
113
Abstract
Summary form only given. Online adaptive systems evolve as they are exposed to new learning data. Traditional verification techniques do not apply to them because they are based on assumptions that do not hold for them. We had presented a framework for analyzing and verifying such systems. We further explore one of the methods we had identified.
Keywords
adaptive systems; formal verification; learning (artificial intelligence); neural nets; refinement calculus; adaptive control; formal methods; neural networks; online adaptive systems; online data learning; refinement calculi; validation; verification techniques; Adaptive control; Adaptive systems; Educational institutions; Neural networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference on
Conference_Location
Tunis, Tunisia
Print_ISBN
0-7803-7983-7
Type
conf
DOI
10.1109/AICCSA.2003.1227543
Filename
1227543
Link To Document