Algorithms for CTL System Modification
Date
2005
Authors
Ding, Yulin (Rena)
Zhang, Yan
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Knowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings / Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain (eds.),vol. 2, pp. 1000-1006
Statement of Responsibility
Yulin Ding and Yan Zhang
Conference Name
International Conference on Knowledge-Based Intelligent Engineering Systems (9th : 2005 : Melbourne, Vic.)
Abstract
Model updating, as a new concept to be employed as a standard and universal method for system modification, has been started in [4] and further developed in this paper. This paper introduces algorithms for Computation Tree Logic (CTL) model update. The algorithms correct errors in a CTL Kripke model to make this model satisfy its various required properties. These update algorithms are designed through pseudo-code, which details the logic of the algorithms. The microwave oven example in [3] has been correctly treated by the pseudo-code, which demonstrates the feasibility of these algorithms. The algorithms and their pseudo-code are the foundations for later implementation of a CTL model updater and integration of a CTL model checker and this updater.
School/Discipline
School of Computer Science
Dissertation Note
Provenance
Description
The original publication can be found at www.springerlink.com