Configuration Space Exploration for Digital Printing Systems
Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser

TL;DR
This paper introduces CSX, a domain-specific language that enables systematic modeling and automated exploration of configuration spaces in digital printing finishers, improving operability and reducing development effort.
Contribution
The paper presents CSX, a new declarative language for modeling finishers, along with a compiler and IDE that facilitate configuration space exploration using SMT solving.
Findings
CSX effectively models real-world finishers.
Configuration exploration completes in under 1 second.
Supports systematic and automated configuration optimization.
Abstract
Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large. Current control software minimally assists operators in finding useful configurations. Using a classical modelling and integration approach to support a variety of configuration spaces is suboptimal with respect to operatability, development time, and maintenance burden. In this paper, we explore the use of a modeling language for finishers to realize optimizing decision making over configuration parameters in a systematic way and to reduce development time by generating control software from models. We present CSX, a domain-specific language…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
