Paper Abstract and Keywords |
Presentation |
2006-01-27 13:00
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models Shigemasa Takai (Kyoto Inst. of Tech.), Yongming Bai (Wakayama Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
In this paper, we study computation of the supremal controllable sublanguage of a given non-prefix-closed regular specification language for a discrete event system modeled by an unbounded Petri net. We approximate the generated language of the unbounded Petri net by a regular language, and present a sufficient condition under which the supremal controllable sublanguage of the specification language with respect to the regular language approximation is equal to the supremal controllable sublanguage with respect to the original generated language of the unbounded Petri net. The supremal controllable sublanguage of the specification language with respect to the generated language of the unbounded Petri net is effectively computable under this sufficient condition. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
discrete event system / unbounded Petri net / supervisory control / supremal controllable sublanguage / Petri net language / / / |
Reference Info. |
IEICE Tech. Rep., vol. 105, Jan. 2006. |
Paper # |
|
Date of Issue |
2006-01-20 (CST) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
MSS |
Conference Date |
2006-01-27 - 2006-01-27 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Toshiba Kagaku-Kan |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Concurrent systems, etc. |
Paper Information |
Registration To |
MSS |
Conference Code |
2006-01-CST |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models |
Sub Title (in English) |
|
Keyword(1) |
discrete event system |
Keyword(2) |
unbounded Petri net |
Keyword(3) |
supervisory control |
Keyword(4) |
supremal controllable sublanguage |
Keyword(5) |
Petri net language |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Shigemasa Takai |
1st Author's Affiliation |
Kyoto Institute of Technology (Kyoto Inst. of Tech.) |
2nd Author's Name |
Yongming Bai |
2nd Author's Affiliation |
Wakayama University (Wakayama Univ.) |
3rd Author's Name |
|
3rd Author's Affiliation |
() |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2006-01-27 13:00:00 |
Presentation Time |
20 minutes |
Registration for |
MSS |
Paper # |
CST2005-46 |
Volume (vol) |
vol.105 |
Number (no) |
no.573 |
Page |
pp.43-46 |
#Pages |
4 |
Date of Issue |
2006-01-20 (CST) |