Presentation | 2012-11-01 Verification of Partially Observed Discrete Event Systems Using Abstraction Misato YOKOTANI, Shigemasa TAKAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | For partially observed discrete event systems, the computational complexity for their verification generally depends on the number of states of their automata models. This fact implies that it is often difficult to perform verification of large-scale systems. In this paper, we use abstraction of partially observed discrete event systems, and present sufficient conditions under which some of their properties can be verified on the abstracted models. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Discrete event system / Automaton / Abstraction / Prognosability / Normality |
Paper # | CAS2012-54,MSS2012-34 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/10/25(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Verification of Partially Observed Discrete Event Systems Using Abstraction |
Sub Title (in English) | |
Keyword(1) | Discrete event system |
Keyword(2) | Automaton |
Keyword(3) | Abstraction |
Keyword(4) | Prognosability |
Keyword(5) | Normality |
1st Author's Name | Misato YOKOTANI |
1st Author's Affiliation | Graduate School of Engineering, Osaka University() |
2nd Author's Name | Shigemasa TAKAI |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2012-11-01 |
Paper # | CAS2012-54,MSS2012-34 |
Volume (vol) | vol.112 |
Number (no) | 274 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |