Keyword : discrete event system


Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Jinglun LI Shigemasa TAKAI 
Publication:   
Publication Date: 2019/02/01
Vol. E102-A  No. 2 ; pp. 399-403
Type of Manuscript:  Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
discrete event systemnondeterministic automatonsimilarity controlmaximally permissive nonblocking supervisor
 Summary | Full Text:PDF

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem
Sasinee PRUEKPRASERT Toshimitsu USHIO 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6 ; pp. 1166-1171
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal techniques
Keyword: 
supervisory controldiscrete event systempartial observationoptimal controlenergy game
 Summary | Full Text:PDF

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

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

On the Greatest Number of Paths and Maximal Paths for a Class of Directed Acyclic Graphs
Shinsuke ODAGIRI Hiroyuki GOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A  No. 6 ; pp. 1370-1374
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
directed acyclic graphdiscrete event systemmaximal pathPERT
 Summary | Full Text:PDF

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

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

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

Control of Batch Processes Based on Hierarchical Petri Nets
Tomoyuki YAJIMA Takashi ITO Susumu HASHIZUME Hidekazu KURIMOTO Katsuaki ONOGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2895-2904
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
batch controldiscrete event systemconcurrent systemhierarchical Petri net
 Summary | Full Text:PDF

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

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

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

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

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

On-Line Control of Discrete Event Systems with a Maximally Controllable and Observable Sublanguage
Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/09/25
Vol. E82-A  No. 9 ; pp. 1965-1970
Type of Manuscript:  PAPER
Category: Graphs and Networks
Keyword: 
discrete event systemsupervisory controlpartial observationon-line control
 Summary | Full Text:PDF

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

Equivalent Net Reduction for Firing Sequence
Masato NAKAGAWA Sadatoshi KUMAGAI Toshiyuki MIYAMOTO Dong-Ik S. LEE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1447-1457
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
discrete event systemPetri netstate spacenet reductionequivalent net
 Summary | Full Text:PDF

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