Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2022-01-11 13:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations Mouheeb Aous, Shigemasa Takai (Osaka Univ.) MSS2021-35 SS2021-22 |
In this paper, we address the problem of supervisory control for plants and specifications modeled as timed nondetermini... [more] |
MSS2021-35 SS2021-22 pp.23-28 |
MSS, SS |
2019-01-15 13:05 |
Okinawa |
|
A Study on Control Specifications Using LTL[F] for Supervisory Control Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a spec... [more] |
MSS2018-58 SS2018-29 pp.25-28 |
ITS, IE, ITE-MMS, ITE-HI, ITE-ME, ITE-AIT [detail] |
2018-02-15 11:30 |
Hokkaido |
Hokkaido Univ. |
Stochastic Discrete Event Simulation Environment for Autonomous Cart Fleet for Artificial Intelligent Training and Reinforcement Learning Algorithms Naohisa Hashimoto, Ali Boyali, Shin Kato (AIST), Takao Otsuka, Kazuhisa Mizushima, Manabu Omae (Keio Univ) ITS2017-66 IE2017-98 |
In this report we give details of a Discrete Event Simulation (DES) framework coded in Python environment for simulation... [more] |
ITS2017-66 IE2017-98 pp.29-33 |
SS, MSS |
2018-01-19 14:40 |
Hiroshima |
|
Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers Itsuki Okubo, Shigemasa Takai (Osaka Univ.) MSS2017-70 SS2017-57 |
In this paper, we consider a similarity control problem when both the nondeterministic discrete event system and its spe... [more] |
MSS2017-70 SS2017-57 pp.133-138 |
PN |
2016-11-17 15:40 |
Saitama |
KDDI Research, Inc. |
[Invited Talk]
Future Nation-Wide Optical Network Infrastracture enhanced using Transport SDN Technologies
-- Expectations for Optical Technologies and Challenges -- Yoshihiko Uematsu, Katsutoshi Koda (NTT) PN2016-34 |
The optical transport network is composed optical transport systems deployed in thousands of office-buildings. As a com... [more] |
PN2016-34 pp.51-58 |
OCS, NS, PN (Joint) |
2016-06-24 10:20 |
Hokkaido |
Hokkaido University |
Future Nation-Wide Optical Network Infrastructure enhanced using Transport SDN Technologies Yoshihiko Uematsu, Shohei Kamamura, Hiroki Date, Hiroshi Yamamoto, Aki Fukuda, Rie Hayashi, Katsutoshi Koda (NTT) NS2016-40 |
Optical transport network comprises nation-wide distributed transport systems deployed in thousands of office-buildings.... [more] |
NS2016-40 pp.67-72 |
MSS |
2016-03-04 15:30 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
State Attraction Control of Discrete Event Systems Under Partial Observation Ryoma Sawasaki, Sigemasa Takai (Osaka Univ.) MSS2015-86 |
In the previous work on state attraction control of discrete event systems under partial observation, it is required to ... [more] |
MSS2015-86 pp.103-106 |
SS, MSS |
2016-01-25 10:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems Naoki Kushi, Shigemasa Takai (Osaka Univ.) MSS2015-38 SS2015-47 |
In the previous work of bisimilarity control of nondeterministic discrete event systems, a supervisor has the set of mar... [more] |
MSS2015-38 SS2015-47 pp.19-22 |
SS, MSS |
2016-01-25 11:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions Sho Yoshida, Shigemasa Takai (Osaka Univ.) MSS2015-39 SS2015-48 |
In supervisory control of discrete event systems, the generated language of the controlled system does not necessarily c... [more] |
MSS2015-39 SS2015-48 pp.23-28 |
SS, MSS |
2016-01-25 16:10 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Decision Theoretic Characterization of Information Supervisory Control Yasuo Sasaki, Naoshi Uchihira (JAIST) MSS2015-47 SS2015-56 |
We characterize the concept of information supervisory control in terms of mathematical decision theory, formulating the... [more] |
MSS2015-47 SS2015-56 pp.69-74 |
MSS |
2015-03-05 13:25 |
Ishikawa |
IT Business Plaza Musashi |
Optimal LLP supervisory control based on the learning of state transition model Hijiri Umemoto, Tatsushi Yamasaki (Setsunan Univ.) MSS2014-92 |
The authors have proposed an optimal LLP supervisory control method based on reinforcement learning for discrete event s... [more] |
MSS2014-92 pp.7-12 |
MSS, SS |
2015-01-27 09:20 |
Tottori |
|
A supervisor synthesis by MaxSAT solvers under partial observation Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) MSS2014-82 SS2014-46 |
Synthesis of the supervisor for discrete event systems under partial observation has been shown exponen-
tial in princi... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
CAS, MSS, IPSJ-AL [detail] |
2014-11-20 16:50 |
Okinawa |
Nobumoto Ohama Memorial Hall (Ishigaki island) |
Decentralized Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations Masanori Hoshino, Shigemasa Takai (Osaka Univ.) CAS2014-98 MSS2014-62 |
In this paper, we study a decentralized similarity control problem for plants and specifications modeled by nondetermini... [more] |
CAS2014-98 MSS2014-62 pp.85-90 |
CAS, MSS, IPSJ-AL [detail] |
2014-11-21 13:30 |
Okinawa |
Nobumoto Ohama Memorial Hall (Ishigaki island) |
On optimal LLP supervisory control of discrete event systems based on reinforcement learning Hijiri Umemoto, Tatsushi Yamasaki (Setsunan Univ.) CAS2014-102 MSS2014-66 |
For large scale and time varying discrete event systems, LLP(Limited Lookahead Policy) supervisory control is proposed. ... [more] |
CAS2014-102 MSS2014-66 pp.135-140 |
SS |
2014-10-24 10:30 |
Kochi |
Kochi city culture-plaza cul-port |
Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) SS2014-31 |
A discrete event system, DES for short, makes state transitions by discrete occurrences of events.System behavior is mod... [more] |
SS2014-31 pp.35-40 |
MSS |
2014-03-06 13:30 |
Ehime |
Ehime Univ. |
Risk-sensitive optimal supervisory control of discrete event systems Tatsushi Yamasaki, Taishi Irie, Shin Matsubara (Setsunan Univ.) MSS2013-75 |
In the optimal supervisory control of discrete event systems, the worst case cost and the expectation cost are mainly us... [more] |
MSS2013-75 pp.1-6 |
MSS |
2014-03-06 13:55 |
Ehime |
Ehime Univ. |
A supervisory control based approach to protocol inheritance preserving soundization for workflow nets with TP-handles Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-76 |
In this paper, we propose how to soundize free-choice workflow nets having TP-handles.
Such a workflow net usually has ... [more] |
MSS2013-76 pp.7-12 |
LOIS, ICM |
2014-01-17 10:25 |
Nagasaki |
Nagasaki Museum of History and Culture |
Migration of the supervisory and control network, accompanied by its adoption of Ethernet Yuto Jinno, Toru Matsumoto (NTT DOCOMO), Yota Mishina, Takunori Tsuji (DOCOMO Tecnology), Susumu Nishio, Kozo Sakae (NTT DOCOMO) ICM2013-42 LOIS2013-46 |
With a wide spread of Smartphones and a high-speed transmission by LTE(Long Term Evolution), more reliability of network... [more] |
ICM2013-42 LOIS2013-46 pp.41-46 |
MSS, SS |
2013-03-06 15:50 |
Fukuoka |
Shikanoshima |
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving
-- System Architecture and Experimental Results -- Naoshi Uchihira, Kentaro Torii (Toshiba), Yuji Hirabayashi (Shimizu Corporation), Sunseong Choe, Kunihiko Hiraishi (JAIST), Tetsuro Chino (Toshiba), Taro Sugihara (JAIST) MSS2012-66 SS2012-66 |
We have been developing a temporal-spatial collaboration system by smart voice messaging in nursing and caregiving as on... [more] |
MSS2012-66 SS2012-66 p.43 |
MSS, SS |
2013-03-07 09:50 |
Fukuoka |
Shikanoshima |
An Application of Game Automaton to Quantitative Supervisory Control Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.) MSS2012-73 SS2012-73 |
This paper formulates the optimal supervisory control problem of quantitative discrete event systems (DESs) modeled by w... [more] |
MSS2012-73 SS2012-73 pp.81-84 |