Keyword : discrete event systems


Modeling and Supervisory Control of Blockchain Forks
Kosuke TODA Naomi KUZE Toshimitsu USHIO 
Publication:   
Publication Date: 2021/02/01
Vol. E104-A  No. 2 ; pp. 474-475
Type of Manuscript:  Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
blockchainforkdiscrete event systemssupervisory control
 Summary | Full Text:PDF(142.6KB)

Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters
Kunihiko HIRAISHI Koichi KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/02/01
Vol. E99-A  No. 2 ; pp. 462-467
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
discrete event systemsdiagnosisN-gram modelwildcard character
 Summary | Full Text:PDF(714.5KB)

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)

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)

Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
Toshimitsu USHIO Satoshi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3237-3244
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
discrete event systemshuman-machine systemsuser manualautomation surprises
 Summary | Full Text:PDF(261.7KB)

On Algebraic Properties of Delay-Nonconflicting Languages in Supervisory Control under Communication Delays
Jung-Min YANG Seong-Jin PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/08/01
Vol. E91-A  No. 8 ; pp. 2237-2239
Type of Manuscript:  LETTER
Category: Systems and Control
Keyword: 
delay-nonconflicting languagesdiscrete event systemssupervisorscommunication delays
 Summary | Full Text:PDF(79.4KB)

Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems
Kenji ONOGI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11 ; pp. 3227-3234
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
dynamically reconfigurable deviceschedulingautomatadiscrete event systemsstate feedback
 Summary | Full Text:PDF(487.8KB)

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)

Applications of Discrete Event and Hybrid Systems in Humanoid Robots
Toshimitsu USHIO Keigo KOBAYASHI Masakazu ADACHI Hideyuki TAKAHASHI Atsuhito NAKATANI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2834-2843
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: 
Keyword: 
discrete event systemshybrid state nethumanoid robotmotion generationplanning
 Summary | Full Text:PDF(1MB)

Decentralized Supervisory Control of Discrete Event Systems with Model Uncertainty
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/12/25
Vol. E83-D  No. 12 ; pp. 2174-2177
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
discrete event systemsdecentralized supervisory controlmodel uncertainty
 Summary | Full Text:PDF(175KB)

Feedback Control Synthesis for a Class of Controlled Petri Nets with Time Constraints
Hyeok Gi PARK Hong-ju MOON Wook Hyun KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/06/25
Vol. E80-A  No. 6 ; pp. 1116-1126
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
cyclic place-timed controlled marked graphdiscrete event systemsforbidden conditionstate feedback control
 Summary | Full Text:PDF(965.2KB)

State Fence DiagramsA Visual Formalism to Analyze Discrete-Event Systems
Hiromi KOBAYASHI Yasunari SHIDAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/05/25
Vol. E80-A  No. 5 ; pp. 924-927
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
state-transition diagramsstate fence diagramsevent response analysisdiscrete event systemsreactive systems
 Summary | Full Text:PDF(236KB)

On Symbolic Model Checking in Petri Nets
Kunihiko HIRAISHI Minoru NAKANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1479-1486
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
state space explosiondiscrete event systemsconcurrent systemssystem verification
 Summary | Full Text:PDF(583.9KB)

A Formal Technique to Analyze Event Concurrent Response
Hiromi KOBAYASHI Yasunari SHIDAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/10/25
Vol. E78-D  No. 10 ; pp. 1321-1323
Type of Manuscript:  LETTER
Category: Software Systems
Keyword: 
state-transition diagramsevent-transition diagramsevent response analysisdiscrete event systemsreactive systems
 Summary | Full Text:PDF(204.9KB)

Reduced State Space Generation of Concurrent Systems Using Weak Persistency
kunihiko HIRAISHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1602-1606
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
state space explosiondiscrete event systemsconcurrent systemssystem verification
 Summary | Full Text:PDF(417.1KB)

Activities on Net Theory in Japan
Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/07/25
Vol. E77-A  No. 7 ; pp. 1125-1131
Type of Manuscript:  Special Section PAPER (Special Section on Surveys of Researches in CAS Fields in the Last Two Decades, )
Category: 
Keyword: 
Petri netnet theorydiscrete event systemsconcurrent systems
 Summary | Full Text:PDF(723.2KB)