Proceedings ArticleDOI
Max-plus algebra for optimal scheduling of multiple sheets in a printer
Mohsen Alirezaei,T.J.J. van den Boom,Robert Babuska +2 more
- pp 1973-1978
TLDR
It is shown that the proposed method successfully finds the globally optimal schedule for different types of the sheets, and an improvement in the performance compared to the usual constraint satisfaction scheduling.Abstract:
In this paper, an optimal scheduler for a printer is presented. The scheduling is based on the max-plus modeling framework. It allows to model scheduling of multiple sheets as discrete events in a system described by max-plus linear statespace equations. The optimal scheduler uses the feeding and handling time of each sheet as the design variables. It is shown that the proposed method successfully finds the globally optimal schedule for different types of the sheets. Simulation results demonstrate an improvement in the performance compared to the usual constraint satisfaction scheduling.read more
Citations
More filters
Journal ArticleDOI
Max-plus algebra in the history of discrete event systems
TL;DR: A survey of the history of max-plus algebra and its role in the field of discrete event systems during the last three decades, based on the perspective of the authors but it covers a large variety of topics, where max- plus algebra plays a key role.
Journal ArticleDOI
Max-Plus Algebra and Discrete Event Systems
Journal ArticleDOI
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs
TL;DR: A unified modeling framework in which different types of semi-cyclic discrete-event systems can be described by switching max-plus linear (SMPL) models is introduced and a dynamic graph is used to visualize the evolution of an SMPL system over a certain period in a graphical way and to describe the order relations of the system events.
Proceedings ArticleDOI
A modeling framework for model predictive scheduling using switching max-plus linear models
TL;DR: A modeling framework for model predictive scheduling of a class of semi-cyclic discrete event systems that can be described by switching max-plus linear models is discussed and it is shown that the problem can be recast as a mixed integer linear programming (MILP) problem.
DissertationDOI
Consistency, integration, and reuse in multi-disciplinary design processes
TL;DR: The approach in this research resulted in the Architecture Modeling Framework, which integrates many modeling concepts and methods into a single framework that provides a common machine-readable Architecture modeling Language that can describe both the system architecture and information flows in the design process.
References
More filters
Proceedings ArticleDOI
YALMIP : a toolbox for modeling and optimization in MATLAB
TL;DR: Free MATLAB toolbox YALMIP is introduced, developed initially to model SDPs and solve these by interfacing eternal solvers by making development of optimization problems in general, and control oriented SDP problems in particular, extremely simple.
Journal ArticleDOI
Modeling and analysis of timed Petri nets using heaps of pieces
Stéphane Gaubert,Jean Mairesse +1 more
TL;DR: It is shown that safe timed Petri nets can be represented by special automata over the (max,+) semiring, which compute the height of heaps of pieces, and a heap-based throughput formula is obtained, which is simpler to compute than its traditional timed event graph version.
Journal ArticleDOI
Study of a NP-hard cyclic scheduling problem: The recurrent job-shop
TL;DR: This paper proves that any feasible solution is associated with a valuation called a conservative height on the graph of constraints, and proposes a branch and bound enumeration procedure and two heuristics solving the problem.
Proceedings ArticleDOI
Constraint-based scheduling
TL;DR: This tutorial gives a brief introduction to constraint-based scheduling, generic constraint programming techniques for modeling and solving scheduling problems, and a concrete real-time application example.