Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/45336
Citations | ||
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 Responsibility: | 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 www.springerlink.com |
DOI: | 10.1007/11589990_4 |
Published version: | http://www.springerlink.com/content/701x20r138586024/ |
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.