Towards the Verification and Validation of Online Learning Systems: General Framework and Applications

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ali Mili Articles by GuangJie Jiang Articles by Bojan Cukic Articles by Yan Liu Articles by Rahma Ben Ayed

Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9

Towards the Verification and Validation of Online Learning Systems: General Framework and Applications (PDF)

Big Island, Hawaii

January 05-January 08

ISBN: 0-7695-2056-1

	ASCII Text	x
	Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed, "Towards the Verification and Validation of Online Learning Systems: General Framework and Applications," Hawaii International Conference on System Sciences, vol. 9, pp. 90304a, Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9, 2004.

	BibTex	x
	@article{ 10.1109/HICSS.2004.1265713, author = {Ali Mili and GuangJie Jiang and Bojan Cukic and Yan Liu and Rahma Ben Ayed}, title = {Towards the Verification and Validation of Online Learning Systems: General Framework and Applications}, journal ={Hawaii International Conference on System Sciences}, volume = {9}, year = {2004}, issn = {1530-1605}, pages = {90304a}, doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2004.1265713}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Hawaii International Conference on System Sciences TI - Towards the Verification and Validation of Online Learning Systems: General Framework and Applications SN - 1530-1605 SP EP A1 - Ali Mili, A1 - GuangJie Jiang, A1 - Bojan Cukic, A1 - Yan Liu, A1 - Rahma Ben Ayed, PY - 2004 KW - Verification and Validation KW - Formal Methods KW - Refinement Calculi KW - On-Line Learning KW - Neural Networks KW - Adaptive Control KW - Radial Basis Functions KW - RBF neural networks KW - MLP neural networks VL - 9 JA - Hawaii International Conference on System Sciences ER -

Ali Mili, New Jersey Institute of Technology

GuangJie Jiang, New Jersey Institute of Technology

Bojan Cukic, West Virginia University

Yan Liu, West Virginia University

Rahma Ben Ayed, University of Tunis

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HICSS.2004.1265713

Online Adaptive Systems cannot be certi.ed using traditional testing and proving methods, because these methods rely on assumptions that do not hold for such systems. In this paper we discuss a framework for reasoning about online adaptive systems, and see how this framework can be used to perform the verification of these systems. In addition to the framework, we present some preliminary results on concrete neural network models.

Index Terms:

Verification and Validation, Formal Methods, Refinement Calculi, On-Line Learning, Neural Networks, Adaptive Control, Radial Basis Functions, RBF neural networks, MLP neural networks

Citation:

Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed, "Towards the Verification and Validation of Online Learning Systems: General Framework and Applications," hicss, vol. 9, pp.90304a, Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9, 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.