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
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;
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
DOI :
10.1109/AICCSA.2003.1227543
