模組化設計之合成與參數化驗證分析(I)
Date Issued
2005-07-31
Date
2005-07-31
Author(s)
DOI
932213E002080
Abstract
For a variety of infinite-state systems,
the problem of deciding whether a given
system is self-stabilizing or not is
investigated from the decidability viewpoint.
We develop a unified strategy through
which checking self-stabilization is shown
to be decidable for lossy vector addition
systems with states, one-counter machines,
and conflict-free Petri nets. For lossy
counter machines and lossy channel systems,
in contrast, the self-stabilization problem is
shown to be undecidable.
Subjects
infinite-state system
self-stabilization
verification
Publisher
臺北市：國立臺灣大學電機工程學系暨研究所
Type
report
File(s)![Thumbnail Image]()
Loading...
Name
932213E002080.pdf
Size
43.78 KB
Format
Adobe PDF
Checksum
(MD5):c97bb5725d1180dc43c0dda46343a8cb