arXiv subjects

Ilya Kolmanovsky

Publications and source records attributed to Ilya Kolmanovsky.

At least 109 records · Page 6Linked to original sources

arXiv2019

Decision making in dynamic and interactive environments based on cognitive hierarchy theory, Bayesian inference, and predictive control

In this paper, we describe an integrated framework for autonomous decision making in a dynamic and interactive environment. We model the interactions between the ego agent and its operating environment as a two-player dynamic game, and integrate cognitive behavioral models, Bayesian inference, and receding-horizon optimal control to define a dynamically-evolving decision strategy for the ego agent. Simulation examples representing autonomous vehicle control in three traffic scenarios where the autonomous ego vehicle interacts with a human-driven vehicle are reported.

cs.AI↗

arXiv2019

Robust Hierarchical MPC for Handling Long Horizon Demand Forecast Uncertainty with Application to Automotive Thermal Management

This paper presents a robust hierarchical MPC (H-MPC) for dynamic systems with slow states subject to demand forecast uncertainty. The H-MPC has two layers: (i) the scheduling MPC at the upper layer with a relatively long prediction/planning horizon and slow update rate, and (ii) the piloting MPC at the lower layer over a shorter prediction horizon with a faster update rate. The scheduling layer MPC calculates the optimal slow states, which will be tracked by the piloting MPC, while enforcing the system constraints according to a long-range and approximate prediction of the future demand/load, e.g., traction power demand for driving a vehicle. In this paper, to enhance the H-MPC robustness against the long-term demand forecast uncertainty, we propose to use the high-quality preview information enabled by the connectivity technology over the short horizon to modify the planned trajectories via a constraint tightening approach at the scheduling layer. Simulation results are presented for a simplified vehicle model to confirm the effectiveness of the proposed robust H-MPC framework in handling demand forecast uncertainty.

math.OC↗

arXiv2019

A Reference Governor for Nonlinear Systems with Disturbance Inputs Based on Logarithmic Norms and Quadratic Programming

This note describes a reference governor design for a continuous-time nonlinear system with an additive disturbance. The design is based on predicting the response of the nonlinear system by the response of a linear model with a set-bounded prediction error, where a state-and-input dependent bound on the prediction error is explicitly characterized using logarithmic norms. The online optimization is reduced to a convex quadratic program with linear inequality constraints. Two numerical examples are reported.

eess.SY↗

arXiv2019

Detection-averse optimal and receding-horizon control for Markov decision processes

In this paper, we consider a Markov decision process (MDP), where the ego agent has a nominal objective to pursue while needs to hide its state from detection by an adversary. After formulating the problem, we first propose a value iteration (VI) approach to solve it. To overcome the "curse of dimensionality" and thus gain scalability to larger-sized problems, we then propose a receding-horizon optimization (RHO) approach to obtain approximate solutions. We use examples to illustrate and compare the VI and RHO approaches, and to show the potential of our problem formulation for practical applications.

eess.SY↗

arXiv2019

Integrated Optimization of Power Split, Engine Thermal Management, and Cabin Heating for Hybrid Electric Vehicles

Cabin heating demand and engine efficiency degradation in cold weather lead to considerable increase in fuel consumption of hybrid electric vehicles (HEVs), especially in congested traffic conditions. This paper presents an integrated power and thermal management (i-PTM) scheme for the optimization of power split, engine thermal management, and cabin heating of HEVs. A control-oriented model of a power split HEV, including power and thermal loops, is developed and experimentally validated against data collected from a 2017 Toyota Prius HEV. Based on this model, the dynamic programming (DP) technique is adopted to derive a bench-mark for minimal fuel consumption, using 2-dimensional (power split and engine thermal management) and 3-dimensional (power split, engine thermal management, and cabin heating) formulations. Simulation results for a real-world congested driving cycle show that the engine thermal effect and the cabin heating requirement can significantly influence the optimal behavior for the power management, and substantial potential on fuel saving can be achieved by the i-PTM optimization as compared to conventional power and thermal management strategies.

eess.SY↗

arXiv2019

FBstab: A Stabilized Semismooth Quadratic Programming Algorithm with Applications in Model Predictive Control

This paper introduces the proximally stabilized Fischer-Burmeister method (FBstab); a new algorithm for convex quadratic programming that synergistically combines the proximal point algorithm with a primal-dual semismooth Newton-type method. FBstab is numerically robust, easy to warmstart, handles degenerate primal-dual solutions, detects infeasibility/unboundedness and requires only that the Hessian matrix be positive semidefinite. We outline the algorithm, provide convergence and convergence rate proofs, report some numerical results from model predictive control benchmarks, and also include experimental results. We show that FBstab is competitive with and often superior to, state of the art methods, has attractive scaling properties, and is especially promising for model predictive control applications.

math.OC↗

arXiv2019

A Semismooth Predictor Corrector Method for Suboptimal Model Predictive Control

Suboptimal model predictive control is a technique that can reduce the computational cost of model predictive control (MPC) by exploiting its robustness to incomplete optimization. Instead of solving the optimal control problem exactly, this method maintains an estimate of the optimal solution and updates it at each sampling instance. The resulting controller can be viewed as a dynamic compensator which runs in parallel with the plant. This paper explores the use of the semismooth predictor-corrector method to implement suboptimal MPC. The dynamic interconnection of the combined plant-optimizer system is studied using the input-to-state stability framework and sufficient conditions for closed-loop asymptotic stability and constraint enforcement are derived using small gain arguments. Numerical simulations demonstrate the efficacy of the scheme.

eess.SY↗

arXiv2019

Spacecraft Attitude Control with Nonconvex Constraints: An Explicit Reference Governor Approach

This paper introduces a novel attitude controller for spacecraft subject to actuator saturation and multiple exclusion cone constraints. The proposed solution relies on a two-layer approach where the first layer prestabilizes the system dynamics whereas the second layer enforces constraint satisfaction by suitably manipulating the reference of the prestabilized system. In particular, constraint satisfaction is guaranteed by taking advantage of set invariance properties, whereas asymptotic convergence is achieved by implementing a non-conservative navigation field which is devoid of undesired stagnation points. Multiple numerical examples illustrate the good behavior of the proposed scheme.

eess.SY↗

arXiv2019

Game-Theoretic Modeling of Multi-Vehicle Interactions at Uncontrolled Intersections

Motivated by the need to develop simulation tools for verification and validation of autonomous driving systems operating in traffic consisting of both autonomous and human-driven vehicles, we propose a framework for modeling vehicle interactions at uncontrolled intersections. The proposed interaction modeling approach is based on game theory with multiple concurrent leader-follower pairs, and accounts for common traffic rules. We parameterize the intersection layouts and geometries to model uncontrolled intersections with various configurations, and apply the proposed approach to model the interactive behavior of vehicles at these intersections. Based on simulation results in various traffic scenarios, we show that the model exhibits reasonable behavior expected in traffic, including the capability of reproducing scenarios extracted from real-world traffic data and reasonable performance in resolving traffic conflicts. The model is further validated based on the level-of-service traffic quality rating system and demonstrates manageable computational complexity compared to traditional multi-player game-theoretic models.

eess.SY↗

arXiv2019

Sequential Optimization of Speed, Thermal Load, and Power Split in Connected HEVs

The emergence of connected and automated vehicles (CAVs) provides an unprecedented opportunity to capitalize on these technologies well beyond their original designed intents. While abundant evidence has been accumulated showing substantial fuel economy improvement benefits achieved through advanced powertrain control, the implications of the CAV operation on power and thermal management have not been fully investigated. In this paper, in order to explore the opportunities for the coordination between the onboard thermal management and the power split control, we present a sequential optimization solution for eco-driving speed trajectory planning, air conditioning (A/C) thermal load planning (eco-cooling), and powertrain control in hybrid electric CAVs to evaluate the individual as well as the collective energy savings through proactive usage of traffic data for vehicle speed prediction. Simulation results over a real-world driving cycle show that compared to a baseline non-CAV, 11.9%, 14.2%, and 18.8% energy savings can be accumulated sequentially through speed, thermal load, and power split optimizations, respectively.

eess.SY↗

arXiv2019

An analytical safe approximation to joint chance-constrained programming with additive Gaussian noises

We propose a safe approximation to joint chance-constrained programming where the constraint functions are additively dependent on a normally-distributed random vector. The approximation is analytical, meaning that it requires neither numerical integrations nor sampling-based probability approximations. Under mild assumptions, the approximation is a standard nonlinear program. We compare this new safe approximation to another analytical safe approximation for joint chance-constrained programming based on Boole's inequality through two examples representing the constrained control of linear Gaussian-Markov models. It is shown that our proposed safe approximation has a lower degree of conservatism compared to the one based on Boole's inequality.

math.OC↗

arXiv2019

Quad-rotor Flight Simulation in Realistic Atmospheric Conditions

In trajectory planning and control design for unmanned air vehicles, highly simplified models are typically used to represent the vehicle dynamics and the operating environment. The goal of this work is to perform real-time, but realistic flight simulations and trajectory planning for quad-copters in low altitude (<500m) atmospheric conditions. The aerodynamic model for rotor performance is adapted from blade element momentum theory and validated against experimental data. Large-eddy simulations of the atmospheric boundary layer are used to accurately represent the operating environment of unmanned air vehicles. A reduced-order version of the atmospheric boundary layer data as well as the popular Dryden model are used to assess the impact of accuracy of the wind field model on the predicted vehicle performance and trajectory. The wind model, aerodynamics and control modules are integrated into a six-degree-of-freedom flight simulation environment with a fully nonlinear flight controller. Simulations are performed for two representative flight paths, namely, straight and circular paths. Results for different wind models are compared and the impact of simplifying assumptions in representing rotor aerodynamics is discussed. The simulation framework and codes are open-sourced for use by the community.

physics.flu-dyn↗

arXiv2018

A Semismooth Predictor Corrector Method for Real-Time Constrained Parametric Optimization with Applications in Model Predictive Control

Real-time optimization problems are ubiquitous in control and estimation, and are typically parameterized by incoming measurement data and/or operator commands. This paper proposes solving parameterized constrained nonlinear programs using a semismooth predictor-corrector (SSPC) method. Nonlinear complementarity functions are used to reformulate the first order necessary conditions of the optimization problem into a parameterized non-smooth root-finding problem. Starting from an approximate solution, a semismooth Euler-Newton algorithm is proposed for tracking the trajectory of the primal-dual solution as the parameter varies over time. Active set changes are naturally handled by the SSPC method, which only requires the solution of linear systems of equations. The paper establishes conditions under which the solution trajectories of the root-finding problem are well behaved and provides sufficient conditions for ensuring boundedness of the tracking error. Numerical case studies featuring the application of the SSPC method to nonlinear model predictive control are reported and demonstrate the advantages of the proposed method.

math.OC↗

arXiv2018

Adaptive Game-Theoretic Decision Making for Autonomous Vehicle Control at Roundabouts

In this paper, we propose a decision making algorithm for autonomous vehicle control at a roundabout intersection. The algorithm is based on a game-theoretic model representing the interactions between the ego vehicle and an opponent vehicle, and adapts to an online estimated driver type of the opponent vehicle. Simulation results are reported.

cs.GT↗

arXiv2018

Two-Layer Model Predictive Battery Thermal and Energy Management Optimization for Connected and Automated Electric Vehicles

Future vehicles are expected to be able to exploit increasingly the connected driving environment for efficient, comfortable, and safe driving. Given relatively slow dynamics associated with the state of charge and temperature response in electrified vehicles with large batteries, a long prediction/planning horizon is needed to achieve improved energy efficiency benefits. In this paper, we develop a two-layer Model Predictive Control (MPC) strategy for battery thermal and energy management of electric vehicle (EV), aiming at improving fuel economy through real-time prediction and optimization. In the first layer, the long-term traffic flow information and an approximate model reflective of the relatively slow battery temperature dynamics are leveraged to minimize energy consumption required for battery cooling while maintaining the battery temperature within the desired operating range. In the second layer, the scheduled battery thermal and state of charge (SOC) trajectories planned to achieve long-term battery energy-optimal thermal behavior are used as the reference over a short horizon to regulate the battery temperature. Additionally, an intelligent online constraint handling (IOCH) algorithm is developed to compensate for the mismatch between the actual and predicted driving conditions and reduce the chance for battery temperature constraint violation. The simulation results show that, depending on the driving cycle, the proposed two-layer MPC is able to save 2.8-7.9% of the battery energy compared to the traditional rule-based controller in connected and automated vehicle (CAV) operation scenario. Moreover, as compared to a single layer MPC with a long horizon, the two-layer structure of the proposed MPC solution reduces significantly the computing effort without compromising the performance.

eess.SY↗

arXiv2018

A Regularized and Smoothed Fischer-Burmeister Method for Quadratic Programming with Applications to Model Predictive Control

This paper considers solving convex quadratic programs (QPs) in a real-time setting using a regularized and smoothed Fischer-Burmeister method (FBRS). The Fischer-Burmeister function is used to map the optimality conditions of the quadratic program to a nonlinear system of equations which is solved using Newton's method. Regularization and smoothing are applied to improve the practical performance of the algorithm and a merit function is used to globalize convergence. FBRS is simple to code, easy to warmstart, robust to early termination, and has attractive theoretical properties, making it appealing for real-time and embedded applications. Numerical experiments using several predictive control examples show that the proposed method is competitive with other state of the art solvers.

math.OC↗

arXiv2018

Model Predictive Climate Control of Connected and Automated Vehicles for Improved Energy Efficiency

This paper considers an application of model predictive control to automotive air conditioning (A/C) system in future connected and automated vehicles (CAVs) with battery electric or hybrid electric powertrains. A control-oriented prediction model for A/C system is proposed, identified, and validated against a higher fidelity simulation model (CoolSim). Based on the developed prediction model, a nonlinear model predictive control (NMPC) problem is formulated and solved online to minimize the energy consumption of the A/C system. Simulation results illustrate the desirable characteristics of the proposed NMPC solution such as being able to enforce physical constraints of the A/C system and maintain cabin temperature within a specified range. Moreover, it is shown that by utilizing the vehicle speed preview and through coordinated adjustment of the cabin temperature constraints, energy efficiency improvements of up to 9% can be achieved.

eess.SY↗

arXiv2017

Cloud-aided collaborative estimation by ADMM-RLS algorithms for connected vehicle prognostics

As the connectivity of consumer devices is rapidly growing and cloud computing technologies are becoming more widespread, cloud-aided techniques for parameter estimation can be designed to exploit the theoretically unlimited storage memory and computational power of the cloud, while relying on information provided by multiple sources. With the ultimate goal of developing monitoring and diagnostic strategies, this report focuses on the design of a Recursive Least-Squares (RLS) based estimator for identification over a group of devices connected to the cloud. The proposed approach, that relies on Node-to-Cloud-to-Node (N2C2N) transmissions, is designed so that: (i) estimates of the unknown parameters are computed locally and (ii) the local estimates are refined on the cloud. The proposed approach requires minimal changes to local (pre-existing) RLS estimators.

eess.SY↗