Shigemasa TAKAI


Consensus-Based Distributed Particle Swarm Optimization with Event-Triggered Communication
Kazuyuki ISHIKAWA Naoki HAYASHI Shigemasa TAKAI 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2  pp. 338-344
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
particle swarm optimizationdistributed optimizationevent-triggered controlmulti-agent systems
 Summary | Full Text:PDF(1.3MB)

Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Hiroki YAMADA Shigemasa TAKAI 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2  pp. 328-337
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
nondeterministic discrete event systemsupervisory controlsimilarity controlnonblocking supervisor
 Summary | Full Text:PDF(1MB)

Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications
Masanori HOSHINO Shigemasa TAKAI 
Publication:   
Publication Date: 2017/02/01
Vol. E100-A  No. 2  pp. 395-405
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
nondeterministic discrete event systemsimilarity controldecentralized controlmaximal permissiveness
 Summary | Full Text:PDF(874.8KB)

Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems
Nam TUNG VU Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/02/01
Vol. E99-A  No. 2  pp. 483-490
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
transition systembisimilarity controloutput feedbackobserver
 Summary | Full Text:PDF(866KB)

Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Takashi YAMAMOTO Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/02/01
Vol. E98-A  No. 2  pp. 650-653
Type of Manuscript:  Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
discrete event systemfailure diagnosisconjunctive decentralized diagnoseronline synthesis
 Summary | Full Text:PDF(249.5KB)

Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki KIMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/07/01
Vol. E97-A  No. 7  pp. 1500-1507
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
nondeterministic discrete event systemsupervisory controlsimilarity controlmaximally permissive supervisor
 Summary | Full Text:PDF(638.3KB)

Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture
Takashi YAMAMOTO Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/07/01
Vol. E97-A  No. 7  pp. 1605-1614
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
discrete event systemdecentralized diagnosisconjunctive codiagnosabilityreliabilitydelay bound
 Summary | Full Text:PDF(1.1MB)

Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki KIMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1140-1148
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Verification
Keyword: 
discrete event systemsupervisory controlnondeterministic systembisimilarity control
 Summary | Full Text:PDF(418.9KB)

A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems
Masashi NOMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/04/01
Vol. E96-A  No. 4  pp. 835-839
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
timed discrete event systemsupervisory controldecentralized controlforcible event
 Summary | Full Text:PDF(203.2KB)

Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems
Masashi NOMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/01/01
Vol. E96-A  No. 1  pp. 345-355
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
timed discrete event systemsupervisory controldecentralized controlforcible event
 Summary | Full Text:PDF(1.3MB)

Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
Masashi NOMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/05/01
Vol. E95-A  No. 5  pp. 952-960
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
timed discrete event systemsupervisory controldecentralized controlforcible event
 Summary | Full Text:PDF(727.1KB)

Decentralized Supervisory Control of Timed Discrete Event Systems
Masashi NOMURA Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/12/01
Vol. E94-A  No. 12  pp. 2802-2809
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
timed discrete event systemsupervisory controldecentralized controlforcible event
 Summary | Full Text:PDF(847.6KB)

Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems
Shigemasa TAKAI Yuta WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/03/01
Vol. E94-A  No. 3  pp. 1041-1044
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
discrete event systemsupervisory controlopacitymaximally permissive supervisormodular synthesis
 Summary | Full Text:PDF(93.5KB)

Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models
Shigemasa TAKAI Yongming BAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3250-3253
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
unbounded Petri netsupervisory controlcontrollabilitysupremal controllable sublanguage
 Summary | Full Text:PDF(139KB)

FOREWORD
Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 2963-2963
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(39.6KB)

Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 2982-2988
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
discrete event systemdecentralized supervisory controldynamic default controldynamic co-observability
 Summary | Full Text:PDF(271.6KB)

Formal Detection of Three Automation Surprises in Human-Machine Interaction
Yoshitaka UKAWA Toshimitsu USHIO Masakazu ADACHI Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2878-2884
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
human-machine interactioncomposite modelautomation surprisesmode confusionrefusal stateblocking state
 Summary | Full Text:PDF(347.2KB)

Supervisory Control of a Class of Concurrent Discrete Event Systems
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/04/01
Vol. E87-A  No. 4  pp. 850-855
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
discrete event systemconcurrencysupervisory controlcontrollabilityconcurrent well-posedness
 Summary | Full Text:PDF(156.1KB)

Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/11/01
Vol. E86-A  No. 11  pp. 2731-2738
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology)
Category: 
Keyword: 
discrete event systemdecentralized supervisory controlreliable supervisorreliable co-observability
 Summary | Full Text:PDF(321.1KB)

Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11  pp. 2822-2828
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
discrete event systemnonblocking supervisory controlpartial observationobservabilitynormality
 Summary | Full Text:PDF(217.9KB)

Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2212-2218
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
discrete event systemdecentralized supervisory controlreliable controlnormalityfully decentralized supervisor
 Summary | Full Text:PDF(345.1KB)

On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2282-2285
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
discrete event systemdecentralized supervisory controlon-line control
 Summary | Full Text:PDF(164.1KB)

Balanced State Feedback Controllers for Descrete Event Systems Described by the Golaszewski-Ramadge Model
Shigemasa TAKAI Toshimitsu USHIO Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/05/25
Vol. E80-A  No. 5  pp. 928-931
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
discrete event systemstate feedback controlbalanced controllerpartial observation
 Summary | Full Text:PDF(266.1KB)

Stabilization of Timed Discrete Event Systems with Forcible Events
Jae-won YANG Shigemasa TAKAI Toshimitsu USHIO Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/03/25
Vol. E80-A  No. 3  pp. 571-573
Type of Manuscript:  Special Section LETTER (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
timed descrete event systemsstabilizationstate feedbackfarcible event
 Summary | Full Text:PDF(199.8KB)

A Forbidden Marking Problem in Controlled Complementary-Places Petri Nets
Wooi Voon CHANG Toshimitsu USHIO Shigemasa TAKAI Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/03/25
Vol. E78-A  No. 3  pp. 382-388
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 7th Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks
Keyword: 
discrete event systemcomplementary-places Petri netforbidden marking problemmaximally permissive control law
 Summary | Full Text:PDF(646.4KB)