Keyword : forcible event

Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events
Shimpei MIURA Shigemasa TAKAI 
Publication:   
Publication Date: 2020/02/01
Vol. E103-A  No. 2 ; pp. 417-427
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
timed discrete event system, decentralized supervisory control, forcible event, conditional decision, 
 Summary | Full Text:PDF
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 system, supervisory control, decentralized control, forcible event, 
 Summary | Full Text:PDF
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 system, supervisory control, decentralized control, forcible event, 
 Summary | Full Text:PDF
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 system, supervisory control, decentralized control, forcible event, 
 Summary | Full Text:PDF
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 system, supervisory control, decentralized control, forcible event, 
 Summary | Full Text:PDF