Please use this identifier to cite or link to this item:
Scopus Web of ScienceĀ® Altmetric
Type: Conference paper
Title: Model Updating CTL Systems
Author: Ding, Yulin (Rena)
Zhang, Yan
Citation: Al 2005 : advances in artificial intelligence : 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5-9, 2005 : proceedings / Shichao Zhang, Ray Jarvis (eds.), pp.5-16
Publisher: Springer
Issue Date: 2005
Series/Report no.: Lecture notes in computer science ; 3809
ISBN: 3540304622
Conference Name: Australian Joint Conference on Artificial Intelligence (18th : 2005 : Sydney, Australia)
School/Discipline: School of Computer Science
Statement of
Yulin Ding and Yan Zhang
Abstract: Minimal change is a fundamental principle for modelling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first consider five primitive updates which capture the basic update operations in the CTL model. Based on these primitive updates, we then define the minimal change criteria for CTL model update and develop formal algorithms that embed the underlying minimal change principle. We also present the well known microwave oven scenario to demonstrate our update algorithms. Our work presented in this paper can be viewed as the first formalization towards an integration of model checking and model updating for system modification.
Description: The original publication can be found at
DOI: 10.1007/11589990_4
Published version:
Appears in Collections:Computer Science publications

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.