scholarly journals Reachability analysis for timed automata using max-plus algebra

2012 ◽  
Vol 81 (3) ◽  
pp. 298-313 ◽  
Author(s):  
Qi Lu ◽  
Michael Madsen ◽  
Martin Milata ◽  
Søren Ravn ◽  
Uli Fahrenberg ◽  
...  
Keyword(s):  
Timed Automata ◽  
Reachability Analysis

scholarly journals Architecture assessment for safety critical plant operation using reachability analysis of timed automata

2020 ◽  
Vol 199 ◽  
pp. 106923
Author(s):  
David Gouyon ◽  
Jean-François Pétin ◽  
Thomas Cochard ◽  
Catherine Devic
Keyword(s):  
Timed Automata ◽  
Reachability Analysis ◽  
Plant Operation ◽  
Safety Critical

Effective Batch Scheduling with Sequence-dependent Changeovers Using Reachability Analysis of Timed Automata Combined with Lower Bound Computations

2012 ◽  
Vol 45 (6) ◽  
pp. 75-80 ◽  
Author(s):  
Christian Schoppmeyer ◽  
Subanatarajan Subbiah ◽  
Santhosh Bendiganahalli-Deveerappa ◽  
Sebastian Engell
Keyword(s):  
Lower Bound ◽  
Timed Automata ◽  
Reachability Analysis ◽  
Batch Scheduling ◽  
Sequence Dependent

scholarly journals Binary Reachability Analysis of Discrete Pushdown Timed Automata

2000 ◽  
pp. 69-84 ◽  
Author(s):  
Zhe Dang ◽  
Oscar H. Ibarra ◽  
Tevfik Bultan ◽  
Richard A. Kemmerer ◽  
Jianwen Su
Keyword(s):  
Timed Automata ◽  
Reachability Analysis
Sign in / Sign up

Export Citation Format

Share Document