Xerox Corporation

Vijay A Saraswat

Markus P Fromherz

Marc W Webster

Daniel L McCue, Iii

Daniel Gureasko Bobrow

John C Austin

Paul A Rulli

Timothy G Lindholm

Vineet Gupta

John H Conley

Pierre C Berlandier

Qualitative reasoning for physical systems, and techniques for automatic code generation are used to automatically construct digital controllers/device drivers for electro-mechanical systems. Such construction uses models of the system's components described as finite state machines, to form a configuration space. Transitions of the configuration space are labelled as external or internal and a state of the system is identified as a desired state while other states are identified as undesirable. From this configuration space a controller is generated to drive the system to the desired state while avoiding the undesirable states.

Automatic construction of digital controllers/device drivers for

An electronic image processing apparatus has a controller and a plurality of resources in an arbitrary configuration. Each of the resources includes an associated processor storing data related to operational constraints of the associated resource and a bus interconnects the processors to the controller for directing the operation of the resources. The controller is adapted to operate independent of a particular configuration of the plurality of resources by receiving from each of the processors the data related to the operational constraints of each associated resource and interrogating each of the processors to determine the geometrical relationship of the interconnection of the resources. The controller then responds to the data related to the operational constraints of each of the processors and to the geometrical relationship of the interconnection of the resources to dynamically configure the image processing apparatus to operate in accordance with the the operational constraints of each of the processors and to the geometrical relationship of the interconnection of the resources.

Machine graphs and capabilities to represent document output terminals

A system is provided to allow for automated scheduling and completion of print jobs in a printing machine. A generic system for describing functionality of various modules forming a print engine is described. Such a module description is provided for each of a plurality of subassemblies which form the printing machine. A component communicates description information about itself to a scheduling unit once it is integrated into a complete printing machine. The scheduling unit, in turn, analyzes all functions available from various subassemblies comprising the machine. This analysis returns data representative of all available functions to the printing machines. Upon receipt of user input on one or more printing jobs, the scheduler then correlates the user information with the available properties of the printing machine to schedule an efficient completing of all printing tasks.

System for generically describing and scheduling operation of modular

Transducers with constraints model for print scheduling

Commitment groups to generalize the scheduling of interdependent

A system dynamically schedules the creation of images in an on-demand printing apparatus outputting simplex and duplex prints. For each simplex print, a simplex print block is appended to a schedule of images to be created, and for each duplex print, a duplex print block is appended to the schedule. The duplex block includes two portions, one portion for each image in the duplex print, separated by a number of pitches which can be occupied by other images. The duplex and simplex blocks are then organized in a manner which preserves the desired final sequence of prints and minimizes the number of unused image pitches in the printing apparatus. The scheduling technique can also be applied to multi-pass color printing.

Print sequence scheduling system for duplex printing apparatus

Growing community of inventors

Fremont, CA, United States of America

Vijay A Saraswat