Last updated on July 3, 2015. This conference program is tentative and subject to change

Starting from a control-oriented model of the engine air-path system, a bypass valve thermal model is derived to predict the temperature at the inlet of the Diesel Oxidation Catalyst. Then, a discrete-time piecewise affine system is obtained by combining the linearized model at different operating points. The rapid warm-up control problem is formulated as a tracking problem and solved by applying Model Predictive Control. The effects of different weights in cost function are evaluated to elucidate the trade-off between boost pressure and warm-up performance. Finally, a heuristic control for rapid warm-up is developed from the analysis of the simulation results with MPC.

This paper is motivated by the following question: What is the algorithm we obtain if we apply the primal-dual method to a linear programming formulation of a discounted cost Markov decision process? We will first show that a widely-used variant of the value iteration algorithm for Markov decision processes can be interpreted in terms of the primal-dual method, where the value function is updated with suboptimal solutions to the DRP in each iteration. We then provide the optimal solution to the DRP in closed-form, and present the algorithm that results when using this solution to update the value function in each iteration. Unlike the algorithms obtained from suboptimal DRP updates, this algorithm is guaranteed to yield the optimal value function in a finite number of iterations. Finally, we show that the iterations of the primal-dual algorithm can be interpreted as repeated application of the policy iteration algorithm to a special class of Markov decision processes. When considered alongside recent results characterizing the computational complexity of the policy iteration algorithm, this observation could provide new insights into the computational complexity of solving discounted-cost Markov decision processes.

In the first part of this paper various notions of safety are reviewed and formalized, beginning with the most stringent of definitions which are then gradually relaxed while retaining practical applicability. In the second part of the paper, the developed safety notions are applied to the specified class of relative velocity-based reciprocal collision avoidance methods for which no guarantees for safe operation were known before. We develop a set of partial results, which, when incorporated into the individual collision avoidance routines, provably lead to safe and collision-free overall operation.

We propose a new contribution in the domain of null controllability of parabolic system with nonlocal operator. Our topic is concerned with the control of a cascade system of non-linear coupled equations, with a constraint imposed to the control. The proof of the existence of a control satisfying the null controllability problem is made by proving the existence and the uniqueness of a control of minimal norm for the linear problem, associated to the studied problem. And to do that, we use in particular Carleman inequalities that we state for a nonlocal operator. Thus we build a map and we apply the Schauder fixed point Theorem to show that the map admits a fixed point.

All Content © PaperCept, Inc.

This site is protected by copyright and trademark laws under US and International law.All rights reserved. © 2002-2015 PaperCept, Inc. Page generated 2015-07-03 00:23:26 PST Terms of use