Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NLP, MSS |
2023-03-17 11:40 |
Nagasaki |
(Primary: On-site, Secondary: Online) |
On the Existence of Deterministic Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems Shigemasa Takai (Osaka Univ.) MSS2022-99 NLP2022-144 |
In this paper, we consider the bisimilarity control problem
for the system and the specification modeled by nondetermin... [more] |
MSS2022-99 NLP2022-144 pp.174-177 |
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 |
COMP, IPSJ-AL |
2020-09-02 11:30 |
Online |
Online |
What Restrictions Naturally Allow Well-Known NP-Complete Problems to Yield NL-Completeness and the Linear Space Hypothesis? Tomoyuki Yamakami (U of Fukui) COMP2020-10 |
Many practical combinatorial problems have been shown to be NP-complete or NP-hard. To cope with further real-life situa... [more] |
COMP2020-10 pp.33-40 |
MSS, SS |
2019-01-15 12:40 |
Okinawa |
|
Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation Jinglun Li, Shigemasa Takai (Osaka Univ.) MSS2018-57 SS2018-28 |
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata ... [more] |
MSS2018-57 SS2018-28 pp.19-23 |
CAS, SIP, MSS, VLD |
2018-06-15 10:05 |
Hokkaido |
Hokkaido Univ. (Frontier Research in Applied Sciences Build.) |
Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications Yuki Nakago, Shigemasa Takai (Osaka Univ.) CAS2018-21 VLD2018-24 SIP2018-41 MSS2018-21 |
For nondeterministic discrete event systems with
deterministic control specifications,
necessary and sufficient condi... [more] |
CAS2018-21 VLD2018-24 SIP2018-41 MSS2018-21 pp.111-114 |
MSS, NLP (Joint) |
2018-03-14 13:00 |
Osaka |
|
Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems Jinglun LI, Shigemasa Takai (Osaka Univ.) MSS2017-91 |
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata.... [more] |
MSS2017-91 pp.73-76 |
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 |
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 |
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 |
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 |
CS |
2011-07-08 11:15 |
Okinawa |
Kumejima |
A Grouping Strategy for Fully Autonomous P2P-Grid Wei Luo, Hidehiro Kanemitsu, Huan Wang, Hidenori Nakazato (Waseda Univ.) CS2011-27 |
Grid computing environment constructed on top of a peer-to-peer system have the advantage of low cost and high performan... [more] |
CS2011-27 pp.97-102 |
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 |
2008-06-02 14:25 |
Aichi |
Nagoyo University, Noyori Conference Hall |
Modeling of Discrete Event Systems by Mealy Automata Toshimitsu Ushio (Osaka Univ.), Shigemasa Takai (Kyoto Inst. Tech.) CST2008-4 |
Supervisory control is a general framework of logical control of discrete event systems. A supervisor assigns a set of ... [more] |
CST2008-4 pp.19-24 |