although lot streaming scheduling is an active research field, lot streaming flexible flow lines problems have received far less attention than classical flow shops. this paper deals with scheduling jobs in lot streaming flexible flow line problems. the paper mathematically formulates the problem by a mixed integer linear programming model. this model solves small instances to optimality. moreo...

In a distributed system or communication network tasks may need to be executed on more than one processor. For time-critical tasks, the timing constraints are typically given as end-to-end release-times and deadlines. This paper describes algorithms to schedule a class of systems where all the tasks execute on different processors in turn in the same order. This end-to-end scheduling problem is...

We address the idle speed control problem in automotive electronics using hybrid methods to derive a digital control law with guaranteed properties. Associating a switching system with the hybrid system that describes the engine operation is crucial to developing a computationally feasible approach. For switching systems with minimum and maximum dwell times and controlled resets, we are able to...

Although lot streaming scheduling is an active research field, lot streaming flexible flow lines problems have received far less attention than classical flow shops. This paper deals with scheduling jobs in lot streaming flexible flow line problems. The paper mathematically formulates the problem by a mixed integer linear programming model. This model solves small instances to optimality. Moreo...

This paper addresses a new mixed integer nonlinear and linear mathematical programming economic lot sizing and scheduling problem in distributed permutation flow shop problem with number of identical factories and machines. Different products must be distributed between the factories and then assignment of products to factories and sequencing of the products assigned to each factory has to be d...

Model-Based Autonomous Systems for Robotic Space Exploration p. 4 Models of Computation and Simulation of Hybrid Systems p. 5 Modular Specification of Hybrid Systems in Charon p. 6 Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems p. 20 Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine p. 32 Optimization-Based Verification and Stability Characteri...

the abrasive flow machining technique uses a self-deforming tool, an abrasive laden media that is passed back and forth in the passage geometry of the hollow workpiece with the assistance of two hydraulically operated cylinders placed opposite to each other. the material is removed by abrasion generating finer surfaces in the area where flow is restricted. but this method has a low material rem...