| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS | 2013-01-23 10:40 |
Osaka | Osaka Int. Convention Center | Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products Longjiang Wang, Shigemasa Takai (Osaka Univ.)  MSS2012-52 |
In this paper, we study supervisory control of concurrent discrete event systems under the assumption that both the plan... [more] | MSS2012-52 pp.39-44 |
| MSS, CAS | 2012-11-01 15:00 |
Iwate | Iwate University | Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) CAS2012-53 MSS2012-33 |
In this paper, we study decentralized diagnosis of discrete event systems where diagnosis decisions of local diagnosers ... [more] | CAS2012-53 MSS2012-33 pp.17-21 |
| MSS, CAS | 2012-11-01 15:25 |
Iwate | Iwate University | Verification of Partially Observed Discrete Event Systems Using Abstraction Misato Yokotani, Shigemasa Takai (Osaka Univ.) CAS2012-54 MSS2012-34 |
For partially observed discrete event systems, the computational complexity for their verification generally depends on ... [more] | CAS2012-54 MSS2012-34 pp.23-27 |
| MSS, CAS | 2012-11-01 15:50 |
Iwate | Iwate University | Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi (JAIST) CAS2012-55 MSS2012-35 |
In a previous paper by the authors, a new scheme for the diagnosis of stochastic discrete event systems is proposed. Fro... [more] | CAS2012-55 MSS2012-35 pp.29-34 |
| MSS, CAS | 2012-11-02 09:55 |
Iwate | Iwate University | A Study on the Modeling and Analysis in Model-Based Development Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2012-58 MSS2012-38 |
In this paper, we considered an analytical method for UML models in the model based development. We attempted to transfo... [more] | CAS2012-58 MSS2012-38 pp.47-51 |
| AN | 2012-07-13 16:00 |
Iwate | Iwate Prefectural University | Evaluation of the Resilient Network and Personal Safety Applications using Behavior-interactive Network Simulator Yasunori Owada, Masugi Inoue, Ryu Miura, Hiroaki Harai, Hiroyuki Tsuji (NICT) AN2012-22 |
We have proposed combined network system consist of regional wireless mesh network system called NerveNet, unmaned aircr... [more] | AN2012-22 pp.39-44 |
| VLD, CAS, MSS, SIP | 2012-07-03 16:10 |
Kyoto | Kyoto Research Park | Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems Masashi Nomura, Shigemasa Takai (Osaka Univ.) CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 |
In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule fo... [more] | CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 pp.149-154 |
| MSS | 2012-03-08 13:55 |
Tokyo | JAIST Tokyo Satellite | Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai (Osaka Univ.) MSS2011-73 |
In this paper, we study a supervisory control problem for plants and specifications modeled by nondeterministic automata... [more] | MSS2011-73 pp.5-10 |
| SS, MSS | 2012-01-27 11:45 |
Kochi | Kochi City Culture-Plaza Cul-Port | Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems Shuhei Nakata, Shigemasa Takai (Osaka Univ.) MSS2011-71 SS2011-56 |
In the setting of decentralized diagnosis of discrete event systems using multiple local diagnosers, we consider a situa... [more] | MSS2011-71 SS2011-56 pp.95-100 |
| CAS, MSS | 2011-11-18 12:05 |
Yamaguchi | Univ. of Yamaguchi | Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set Masashi Nomura, Shigemasa Takai (Osaka Univ.) CAS2011-80 MSS2011-49 |
In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisordeci... [more] | CAS2011-80 MSS2011-49 pp.95-100 |
| MSS, CAS, VLD, SIP | 2011-07-01 10:20 |
Okinawa | Okinawa-Ken-Seinen-Kaikan | An optimal supervisory control of discrete event systems based on risks and costs Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 |
In this paper, we propose a synthesis method which the supervisor assigns optimal control patterns based on risks and co... [more] | CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 pp.121-126 |
| MSS | 2011-01-20 14:40 |
Yamaguchi | Kaikyo-Messe-Shimonoseki | [Invited Talk]
Two Approaches to Elevator Operation Problems for Optimality and Practicality Tsutomu Inamoto (Kobe Univ.) CST2010-66 |
In this paper, two approaches which have been taken by the author to the elevator operation problem are introduced. The... [more] |
CST2010-66 pp.39-44 |
| MSS | 2011-01-21 15:00 |
Yamaguchi | Kaikyo-Messe-Shimonoseki | Verification of Existence of Decentralized Predictive Diagnosers with Safety Constraints for Discrete Event Systems Hiroki Harada, Shigemasa Takai (Osaka Univ.) CST2010-79 |
For discrete event systems, decentralized predictive diagnosis of failures using local diagnosers has been studied.The t... [more] | CST2010-79 pp.109-114 |
| MSS, CAS | 2010-11-19 16:35 |
Osaka | Kansai Univ. | Decentralized Supervisory Control for Timed Discrete Event Systems Masashi Nomura, Shigemasa Takai (Osaka Univ.) CAS2010-83 CST2010-56 |
In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of eventst... [more] | CAS2010-83 CST2010-56 pp.101-106 |
| CAS, MSS, VLD, SIP | 2010-06-22 12:05 |
Hokkaido | Kitami Institute of Technology | Modular Supervisory Control for Opacity in Discrete Event Systems Shigemasa Takai (Osaka Univ.) CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 |
In this paper, we study opacity-enforcing supervisory control in the language-based framework of discrete event systems... [more] |
CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 pp.121-125 |
| CAS, MSS, VLD, SIP | 2010-06-22 13:45 |
Hokkaido | Kitami Institute of Technology | An Optimal Supervisory Control for Decentralized Discrete Event Systems based on Reinforcement Learning Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 |
In our previous work, we have proposed a generalized framework of optimal supervisory control based on reinforcement ... [more] |
CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 pp.145-150 |
| MSS | 2010-01-22 09:35 |
Aichi | Toyota Central R&D Labs. | Flexible Control Method with Event Driven Control and Scheduled Control for Discrete Event Systems Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.) CST2009-46 |
Control of a discrete event system requires an appropriate event generation. In a system driven by schedule based contro... [more] | CST2009-46 pp.49-54 |
| MSS | 2010-01-22 13:25 |
Aichi | Toyota Central R&D Labs. | Simplification of Supervisor Existence Conditions for Timed Discrete Event Systems Masashi Nomura, Shigemasa Takai (Osaka Univ.) CST2009-52 |
In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides not only the set o... [more] | CST2009-52 pp.85-89 |
| MSS, CAS | 2009-11-27 10:20 |
Aichi | Nagoya University | Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions Shigemasa Takai, Toshimitsu Ushio (Osaka Univ.) CAS2009-53 CST2009-26 |
In the conventional framework for failure diagnosis of discrete event systems, it is assumed that, for each event, the c... [more] | CAS2009-53 CST2009-26 pp.47-52 |
| MSS, CAS | 2009-11-27 17:05 |
Aichi | Nagoya University | Minimum Realization of Condition/Event Net Exhibiting Specified Behavior Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) CAS2009-63 CST2009-36 |
A Petri net is one of promising modeling tools for discrete event systems. The behavior of Petri nets can be described b... [more] | CAS2009-63 CST2009-36 pp.105-110 |
[Return to Top Page]