Israa AlAttili (Radboud University Nijmegen) |
Fred Houben (Radboud University Nijmegen) |
Georgeta Igna (Radboud University Nijmegen) |
Steffen Michels (Radboud University Nijmegen) |
Feng Zhu (Radboud University Nijmegen) |
Frits Vaandrager (Radboud University Nijmegen) |
We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata technology to an industrial scheduling problem with uncertainty in job arrivals. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.13.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |