Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests. For a large and complex system, there are usually a large number of scenarios and hence a large number of test paths also called test specifications. To automate test execution, each test specification should be augmented with appropriate test input data. In this paper, we pro...

We introduce a capability for online monitoring and diagnosis of stochastic systems with complex behavior. Our work complements offline verification techniques for embedded systems. In most complex systems today, hardware is augmented with software functions that influence the system’s behavior. In this paper hardware models are extended to include the behavior of associated embedded software, ...

This paper presents a Constraint Programming-based Column Generation approach to the Minimum Graph Coloring problem. The proposed approach has two versions of the pricing subproblems: the first version formulates the pricing subproblem as the optimization problem of finding the most negative reduced cost column, the second version as the decision problem of finding a maximal stable set with neg...

Holonomic and Pfaffian nonholonomic systems are dynamical systems whose generalized coordinates and velocities are subject to smooth constraints. These systems are usually described by second order differential equations of motion and algebraic equations of constraint. We present an optimal control formulation for these systems that utilizes the multiplier rule to append both the equations of m...

This paper presents a decomposition method for solving convex minimization problems. At each iteration, the algorithm computes two proximal steps in the dual variables and one proximal step in the primal variables. We derive this algorithm from Rockafellar's proximal method of multipliers, which involves an augmented Lagrangian with an additional quadratic proximal term. The algorithm preserves...

We present a formal methodology for the integration of optical flow and deformable models. The optical flow constraint equation provides a non-holonomic constraint on the motion of the deformable model. In this augmented system, forces computed from edges and optical flow are used simultaneously. When this dynamic system is solved, a model-based least-squares solution for the optical flow is ob...

Recent progress in automated formal verification is to a large degree due to the development of constraint languages that are sufficiently light-weight for reasoning but still expressive enough to prove properties of programs. Satisfiability modulo theories (SMT) solvers implement efficient decision procedures, but offer little direct support for adapting the constraint language to the task at ...

Robustness and offset-free tracking remains a challenge in the field of nonlinear model predictive control (NMPC) in the presence of plant-model mismatch. This paper focuses on offset-free tracking with robust constraint satisfaction using NMPC. In the proposed approach, the discrepancy between the plant and a fundamental model is captured using a model-error model. The fundamental model is aug...

Flexible and dynamic supply chain network design problem has been studied by many researchers during past years. Since integration of short-term and long-term decisions in strategic planning leads to more reliable plans, in this paper a multi-objective model for a sustainable closed-loop supply chain network design problem is proposed. The planning horizon of this model contains multiple strate...

In response to market pressures resulting in increased competition, product proliferation and greater customization, rms in many industries have adopted modern technologies to provide operational exibility on several dimensions. In this paper, we consider the role of product mix exibility, de ned as the ability to produce a variety of products, in an environment characterized by multiple produc...