| Presentation | 2013-01-23 Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products Longiang WANG, Shigemasa TAKAI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we study supervisory control of concurrent discrete event systems under the assumption that both the plant and the specification are modeled by concurrent synchronous products. Controllability and observability are necessary and sufficient conditions for the existence of a supervisor under partial event observation. We first show that if the specifications of all subsystems are controllable and observable, then the specification of the entire system is observable Further, we present sufficient conditions under which observability of the specification of the entire system implies that of the specifications of all subsystems. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | discrete event systems / supervisory control / concurrent synchronous products / observability |
| Paper # | MSS2012-52 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2013/1/15(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) | Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products |
| Sub Title (in English) | |
| Keyword(1) | discrete event systems |
| Keyword(2) | supervisory control |
| Keyword(3) | concurrent synchronous products |
| Keyword(4) | observability |
| 1st Author's Name | Longiang WANG |
| 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 | 2013-01-23 |
| Paper # | MSS2012-52 |
| Volume (vol) | vol.112 |
| Number (no) | 383 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |