Keyword : timed automata


An Efficient Translation Method from Timed Petri Nets to Timed Automata
Shota NAKANO Shingo YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/08/01
Vol. E95-A  No. 8 ; pp. 1402-1411
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
timed Petri netstimed automatathe amount of descriptionmodel checkingsignaling pathway
 Summary | Full Text:PDF(1.1MB)

Analysis of Automation Surprises in Human-Machine Systems with Time Information
Masakazu ADACHI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/04/01
Vol. E89-A  No. 4 ; pp. 1027-1034
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
automation surpriseshuman-machine systemstimed automatatimed simulationcomposite model
 Summary | Full Text:PDF(347.9KB)

Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata
Tadaaki TANIMOTO Akio NAKATA Hideaki HASHIMOTO Teruo HIGASHINO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 3007-3021
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
parametric model checkingtimed automataBuchi automatacomplementationaccelerationemptiness checkingdouble depth first search
 Summary | Full Text:PDF(686.4KB)