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 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

scholarly journals Lower-bound-constrained runs in weighted timed automata

2014 ◽  
Vol 73 ◽  
pp. 91-109 ◽  
Author(s):  
Patricia Bouyer ◽  
Kim G. Larsen ◽  
Nicolas Markey
Keyword(s):  
Lower Bound ◽  
Timed Automata

Multi-product batch scheduling with intermediate due dates using priced timed automata models

2009 ◽  
Vol 33 (10) ◽  
pp. 1661-1676 ◽  
Author(s):  
Subanatarajan Subbiah ◽  
Thomas Tometzki ◽  
Sebastian Panek ◽  
Sebastian Engell
Keyword(s):  
Timed Automata ◽  
Batch Scheduling ◽  
Due Dates
Sign in / Sign up

Export Citation Format

Share Document