English

Adaptive Scheduling of Data Paths using Uppaal Tiga

Formal Languages and Automata Theory 2009-12-12 v1 Logic in Computer Science Performance
Authors: Israa AlAttili , Fred Houben , Georgeta Igna , Steffen Michels , Feng Zhu , Frits Vaandrager
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

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.

Cite

@article{arxiv.0912.1897,
  title  = {Adaptive Scheduling of Data Paths using Uppaal Tiga},
  author = {Israa AlAttili and Fred Houben and Georgeta Igna and Steffen Michels and Feng Zhu and Frits Vaandrager},
  journal= {arXiv preprint arXiv:0912.1897},
  year   = {2009}
}

Related papers

View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes
Anne Ejsing, Martin Jensen, Marco Muñiz, Jacob Nørhave +1
2020-02-26
Machine Learning · Computer Science
Topological Data Analysis in smart manufacturing: State of the art and futuredirections
Martin Uray, Barbara Giunti, Michael Kerber, Stefan Huber
2024-07-29
Machine Learning · Computer Science
ATA: Adaptive Task Allocation for Efficient Resource Management in Distributed Machine Learning
Artavazd Maranjyan, El Mehdi Saad, Peter Richtárik, Francesco Orabona
2025-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Adaptive Scheduling for Efficient Execution of Dynamic Stream Workflows
Mutaz Barika, Saurabh Garg, Rajiv Ranjan
2019-12-19
Artificial Intelligence · Computer Science
Autonomous Data Processing using Meta-Agents
Udayan Khurana
2026-02-20
Computer Vision and Pattern Recognition · Computer Science
Universal Adaptive Data Augmentation
Xiaogang Xu, Hengshuang Zhao
2023-05-11
Distributed, Parallel, and Cluster Computing · Computer Science
ASA -- The Adaptive Scheduling Algorithm
Abel Souza, Kristiaan Pelckmans, Devarshi Ghoshal, Lavanya Ramakrishnan +1
2024-01-19
Distributed, Parallel, and Cluster Computing · Computer Science
Data-Aware Approximate Workflow Scheduling
Dengpan Yin, Tevfik Kosar
2018-05-29
Distributed, Parallel, and Cluster Computing · Computer Science
Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms
Anirban Ghose, Srijeeta Maity, Arijit Kar, Kaustubh Maloo +1
2020-04-14
Operating Systems · Computer Science
Adaptive Scheduling in Real-Time Systems Through Period Adjustment
Shri Prakash Dwivedi
2012-12-17
Signal Processing · Electrical Eng. & Systems
Trip Table Estimation and Prediction for Dynamic Traffic Assignment Applications
Sajjad Shafiei, Adriana-Simona Mihaita, Chen Cai
2019-06-13
Human-Computer Interaction · Computer Science
A Recommendation System-Based Framework for Enhancing Human-Machine Collaboration in Industrial Timetabling Rescheduling: Application in Preventive Maintenance
Kévin Ducharlet, Liwen Zhang, Sara Maqrot, Houssem Saidi
2026-01-13
Networking and Internet Architecture · Computer Science
Dynamic Scheduling and Power Control in Uplink Massive MIMO with Random Data Arrivals
Zheng Chen, Emil Björnson, Erik G. Larsson
2019-04-10
Databases · Computer Science
Towards Next Generation Data Engineering Pipelines
Kevin M. Kramer, Valerie Restat, Sebastian Strasser, Uta Störl +1
2025-07-30
Artificial Intelligence · Computer Science
Automated Discovery of Data Transformations for Robotic Process Automation
Volodymyr Leno, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi +1
2020-01-07
Computation and Language · Computer Science
Adaptive scheduling for adaptive sampling in POS taggers construction
Manuel Vilares Ferro, Victor M. Darriba Bilbao, Jesús Vilares Ferro
2024-02-06
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel Path Progression DAG Scheduling
Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
2022-08-26
Databases · Computer Science
Adaptive HTAP through Elastic Resource Scheduling
Aunn Raza, Periklis Chrysogelos, Angelos Christos Anadiotis, Anastasia Ailamaki
2020-04-15
Chaotic Dynamics · Physics
Anticipating tipping in spatiotemporal systems with machine learning
Smita Deb, Zheng-Meng Zhai, Mulugeta Haile, Ying-Cheng Lai
2026-04-09
Artificial Intelligence · Computer Science
A Novel Multi-Agent Scheduling Mechanism for Adaptation of Production Plans in Case of Supply Chain Disruptions
Jing Tan, Lars Braubach, Kai Jander, Rongjun Xu +1
2022-06-28
Machine Learning · Computer Science
Data Augmentation Policy Search for Long-Term Forecasting
Liran Nochumsohn, Omri Azencot
2025-06-19
Artificial Intelligence · Computer Science
On-line Planning and Scheduling: An Application to Controlling Modular Printers
Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P. J. Fromherz
2014-01-17
Optimization and Control · Mathematics
An adaptive robust optimization model for parallel machine scheduling
Izack Cohen, Krzysztof Postek, Shimrit Shtern
2023-11-22
Distributed, Parallel, and Cluster Computing · Computer Science
An Adaptive Performance-oriented Scheduler for Static and Dynamic Heterogeneity
Jing Chen, Pirah Noor Soomro, Mustafa Abduljabbar, Miquel Pericàs
2021-01-01
Data Structures and Algorithms · Computer Science
Dual techniques for scheduling on a machine with varying speed
Nicole Megow, José Verschae
2014-03-06
R2 v1 2026-06-21T14:22:00.058Z