Presentation | 2008-06-02 Modeling of Discrete Event Systems by Mealy Automata Toshimitsu USHIO, Shigemasa TAKAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Supervisory control is a general framework of logical control of discrete event systems. A supervisor assigns a set of control-disabled controllable events based on observed events so that the controlled discrete event system generates specified languages. In conventional supervisory control, it is assumed that observed events are determined by internal events deterministically. But, this assumption does not hold in a discrete event system with sensor failures and a mobile system, where each observed event depends on not only an internal event but also a state just before the occurrence of the internal event. In this report, we model such a discrete event systems by a Mealy automaton with a nondeterministic output function. We introduce two kinds of supervisors: one assigns each control action based on a pessimistic policy and the other based on an optimistic one. We show necessary and sufficient conditions for the existence of each supervisor. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | supervisory control / partial observation / Mealy automata / nondeterministic output function / observability |
Paper # | CST2008-4 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 2008/5/26(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 | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Modeling of Discrete Event Systems by Mealy Automata |
Sub Title (in English) | |
Keyword(1) | supervisory control |
Keyword(2) | partial observation |
Keyword(3) | Mealy automata |
Keyword(4) | nondeterministic output function |
Keyword(5) | observability |
1st Author's Name | Toshimitsu USHIO |
1st Author's Affiliation | Graduate School of Engineering Science, Osaka University() |
2nd Author's Name | Shigemasa TAKAI |
2nd Author's Affiliation | Department of Information Science, Kyoto Institute of Technology |
Date | 2008-06-02 |
Paper # | CST2008-4 |
Volume (vol) | vol.108 |
Number (no) | 78 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |