Keyword : supervisory control


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)

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(572KB)

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)

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)

Reinforcement Learning of Optimal Supervisor for Discrete Event Systems with Different Preferences
Koji KAJIWARA Tatsushi YAMASAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A  No. 2 ; pp. 525-531
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword: 
discrete event systemssupervisory controldecentralized systemreinforcement learningoptimal control
 Summary | Full Text:PDF(801.5KB)

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)

Distributed Load Balancing with Handovers over Mobile Cellular Networks Using Supervisory Control
Heejung BYUN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2011/09/01
Vol. E94-B  No. 9 ; pp. 2543-2548
Type of Manuscript:  PAPER
Category: Network Management/Operation
Keyword: 
load balancingsupervisory control
 Summary | Full Text:PDF(459.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)

Application of DES Theory to Verification of Software Components
Kunihiko HIRAISHI Petr KUVCERA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/02/01
Vol. E92-A  No. 2 ; pp. 604-610
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
discrete event systemssoftware component verificationsupervisory control
 Summary | Full Text:PDF(276.6KB)

Schedulability Analysis of Periodic and Sporadic Tasks Using a Timed Discrete Event Model with Memorable Events
Jung-Min YANG Seong-Jin PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/10/01
Vol. E91-A  No. 10 ; pp. 3076-3079
Type of Manuscript:  LETTER
Category: Systems and Control
Keyword: 
timed discrete event modelmemorable eventsupervisory controlschedulability
 Summary | Full Text:PDF(213.3KB)

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)

Rate-Based Supervisory Congestion Control for Ad Hoc Networks
Hong-Seok CHOI Hee-Jung BYUN Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2006/06/01
Vol. E89-B  No. 6 ; pp. 1899-1902
Type of Manuscript:  LETTER
Category: Network
Keyword: 
supervisory controlTCPad hoc networkscongestion control
 Summary | Full Text:PDF(228.2KB)

Max-Min Fair Rate Allocation Scheme in Multirate Multicast Networks Using Supervisory Control
Hee-Jung BYUN Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2006/05/01
Vol. E89-B  No. 5 ; pp. 1678-1681
Type of Manuscript:  LETTER
Category: Network
Keyword: 
multicastfairnesssupervisory control
 Summary | Full Text:PDF(177.6KB)

Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning
Tatsushi YAMASAKI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 3045-3050
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
discrete event systemsdecentralized controlsupervisory controlreinforcement learningoptimal control
 Summary | Full Text:PDF(230KB)

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)

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(276.9KB)

Supervisory Rate-Based Flow Control of ATM Networks for ABR Services
Kwang-Hyun CHO Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1998/06/25
Vol. E81-B  No. 6 ; pp. 1269-1271
Type of Manuscript:  LETTER
Category: Switching and Communication Processing
Keyword: 
ATM networkABR servicerate-based flow control discrete event dynamic systemssupervisory control
 Summary | Full Text:PDF(229KB)

Failure Diagnosis and Fault Tolerant Supervisory Control System
Kwang-Hyun CHO Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/09/25
Vol. E79-D  No. 9 ; pp. 1223-1231
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
discrete event dynamic systemfailure diagnosissupervisory control
 Summary | Full Text:PDF(717.7KB)