Search

This paper introduces a disturbance-parametrized (DP) robust lattice-based motion-planning framework for nonlinear systems affected by bounded disturbances. A key idea in this work is to rigorously exploit the available knowledge about the disturbance, starting already offline at the time when a library of DP motion primitives is computed and ending not before the motion has been executed online. Given an up-to-date-estimate of the disturbance, the lattice-based motion planner performs a graph search online, to non-conservatively compute a disturbance aware optimal motion plan with formally motivated margins to obstacles. This is done utilizing the DP motion primitives, around which tubes are generated utilizing a suitably designed robust controller. The sizes of the tubes are dependent on the upper bounds of the disturbance appearing in the error between the actual system trajectory and the DP nominal trajectory, which in turn along with the overall optimality of the plan is dependant on the user-selected resolution of the available disturbance estimates. Increasing the resolution of the disturbance parameter results in smaller sizes of tubes around the motion primitives and can significantly reduce the conservativeness compared to traditional approaches, thus increasing the performance of the computed motion plans. The proposed strategy is implemented on an Euler-Lagrange-based ship model which is affected by a significant wind disturbance and the efficiency of the strategy is validated through a suitable simulation example., Funding: ELLIIT

This paper addresses the trade-off between time and energy-efficiency for the problem of loading and unloading a ship. Container height constraints and energy consumption and regeneration are dealt with. We build upon a previous work that introduced a coordinate system suitable to deal with container avoidance constraints and incorporate the energy related modeling. In addition to changing the coordinate system, standard epigraph reformulations result in an optimal control problem with improved numerical properties. The trade-of is dealt with through the use of weighting of the total time and energy consumption in the cost function. An illustrative example is provided, demonstrating that the energy consumption can be substantially reduced while retaining approximately the same loading time., Funding Agencies|VINNOVA Competence Center LINK-SIC

This paper introduces a disturbance-parametrized (DP) robust lattice-based motion-planning framework for nonlinear systems affected by bounded disturbances. A key idea in this work is to rigorously exploit the available knowledge about the disturbance, starting already offline at the time when a library of DP motion primitives is computed and ending not before the motion has been executed online. Given an up-to-date-estimate of the disturbance, the lattice-based motion planner performs a graph search online, to non-conservatively compute a disturbance aware optimal motion plan with formally motivated margins to obstacles. This is done utilizing the DP motion primitives, around which tubes are generated utilizing a suitably designed robust controller. The sizes of the tubes are dependent on the upper bounds of the disturbance appearing in the error between the actual system trajectory and the DP nominal trajectory, which in turn along with the overall optimality of the plan is dependant on the user-selected resolution of the available disturbance estimates. Increasing the resolution of the disturbance parameter results in smaller sizes of tubes around the motion primitives and can significantly reduce the conservativeness compared to traditional approaches, thus increasing the performance of the computed motion plans. The proposed strategy is implemented on an Euler-Lagrange-based ship model which is affected by a significant wind disturbance and the efficiency of the strategy is validated through a suitable simulation example., Funding: ELLIIT

Mean square error optimal estimation requires the full correlation structure to be available. Unfortunately, it is not always possible to maintain full knowledge about the correlations. One example is decentralized data fusion where the cross-correlations between estimates are unknown, partly due to information sharing. To avoid underestimating the covariance of an estimate in such situations, conservative estimation is one option. In this paper the conservative linear unbiased estimator is formalized including optimality criteria. Fundamental bounds of the optimal conservative linear unbiased estimator are derived. A main contribution is a general approach for computing the proposed estimator based on robust optimization. Furthermore, it is shown that several existing estimation algorithms are special cases of the optimal conservative linear unbiased estimator. An evaluation verifies the theoretical considerations and shows that the optimization based approach performs better than existing conservative estimation methods in certain cases., Funding Agencies|Center for Industrial Information Technology at Linkoping University [17.12]; Industry Excellence Center LINK-SIC - Swedish Governmental Agency for Innovation Systems; Saab AB; Project Scalable Kalman filters - Swedish Research Council

This paper proposes a robust lattice-based motion-planning algorithm for nonlinear systems affected by a bounded disturbance. The proposed motion planner utilizes the nominal disturbance-free system model to generate motion primitives, which are associated with fixed-size tubes. These tubes are characterized through designing a feedback controller, that guarantees boundedness of the errors occurring due to mismatch between the disturbed nonlinear system and the nominal system. The motion planner then sequentially implements the tube-based motion primitives while solving an online graph-search problem. The objective of the graph-search problem is to connect the initial state to the final state, through sampled states in a suitably discretized state space, such that the tubes do not pass through any unsafe states (representing obstacles) appearing during runtime. The proposed strategy is implemented on an Euler-Lagrange based ship model which is affected by significant wind disturbance. It is shown that the uncertain system trajectories always stay within a suitably constructed tube around the nominal trajectory and terminate within a region around the final state, whose size is dictated by the size of the tube., Comment: 8 pages, 5 figures

The productivity and efficiency of port operations strongly depend on how fast a ship can be unloaded and loaded again. With this in mind, ship-to-shore cranes perform the critical task of transporting containers into and onto a ship and must do so as fast as possible. Though the problem of minimizing the time spent in moving the payload has been addressed in previous studies, the different heights of the container stacks have not been the focus. In this paper, we perform a change of variable and reformulate the optimization problem to deal with the constraints on the stack heights. As consequence, these constraints become trivial and easy to represent since they turn into bound constraints when the problem is discretized for the numerical solver. To validate the idea, we simulate a small-scale scenario where different stack heights are used. The results confirm our idea and the representation of the stack constraints become indeed trivial. This approach is promising to be applied in real crane operations and has the potential to enhance their automation., Funding: VINNOVA Competence Center LINK-SIC

We propose a sequence of pedagogical steps for introducing the Youla-Kucera parametrization, starting from the internal model principle, and introducing the control structures of disturbance observer and internal model control along the way. We provide some background on the concepts and a brief survey of their treatment in textbooks on control. Copyright (C) 2020 The Authors.

The design of the path-following controller is crucial for reliable autonomous vehicle operation. This design problem is especially challenging for a general 2-trailer with a car-like tractor due to the vehicle's unstable joint-angle kinematics in backward motion. Additionally, advanced sensors placed in the rear of the tractor have been proposed to solve the joint-angle estimation problem. Since these sensors typically have a limited field of view, the estimation solution introduces restrictions on the joint-angle configurations that can be estimated with high accuracy. To explicitly consider these constraints in the controller, a model predictive path-following control approach is proposed. Two approaches with different computation complexity and performance are presented. In the first approach, the joint-angle constraints are modeled as a union of convex polytopes, making it necessary to incorporate binary decision variables. The second approach avoids binary variables at the expense of a more conservative controller. In simulations and field experiments, the performance of the proposed path-following control approach is compared with a previously proposed control strategy., Comment: Submitted to IEEE Transactions on Robotics. arXiv admin note: substantial text overlap with arXiv:2002.06874

To optimally compensate for time-varying phase aberrations with adaptive optics, a model of the dynamics of the aberrations is required to predict the phase aberration at the next time step. We model the time-varying behavior of a phase aberration, expressed in Zernike modes, by assuming that the temporal dynamics of the Zernike coefficients can be described by a vector-valued autoregressive (VAR) model. We propose an iterative method based on a convex heuristic for a rank-constrained optimization problem, to jointly estimate the parameters of the VAR model and the Zernike coefficients from a time series of measurements of the point-spread function (PSF) of the optical system. By assuming the phase aberration is small, the relation between aberration and PSF measurements can be approximated by a quadratic function. As such, our method is a blind identification method for linear dynamics in a stochastic Wiener system with a quadratic nonlinearity at the output and a phase retrieval method that uses a time-evolution-model constraint and a single image at every time step. (c) 2019 Optical Society of America., Funding Agencies|Seventh Framework Programme (FP7) [339681]; Vetenskapsradet (VR) [E05946CI]

In order to guarantee that a self-driving vehicle is behaving as expected, stability of the closed-loop system needs to be rigorously analyzed. The key components for the lowest levels of control in self-driving vehicles are the controlled vehicle, the low-level controller and the local planner.The local planner that is considered in this work constructs a feasible trajectory by combining a finite number of precomputed motions. When this local planner is considered, we show that the closed-loop system can be modeled as a nonlinear hybrid system. Based on this, we propose a novel method for analyzing the behavior of the tracking error, how to design the low-level controller and how to potentially impose constraints on the local planner, in order to guarantee that the tracking error is bounded and decays towards zero. The proposed method is applied on a truck and trailer system and the results are illustrated in two simulation examples.

The demand for fuel-efficient transport solutions are steadily increasing with the goal of reducing environmental impact and increasing efficiency. Heavy-Duty Vehicle (HDV) platooning is a promising concept where multiple HDVs drive together in a convoy with small intervehicular spacing. By doing this, the aerodynamic drag is reduced which in turn lowers fuel consumption. We propose a novel Model Predictive Control (MPC) framework for longitudinal control of the follower vehicle in a platoon consisting of two HDVs when no vehicle-to-vehicle communication is available. In the framework, the preceding vehicle's velocity profile is predicted using artificial neural networks which uses a topographic map of the road as input and is trained offline using synthetic data. The gear shifting and mass of consumed fuel for the controlled follower vehicle is modeled and used within the MPC controller. The efficiency of the proposed framework is verified in simulation examples and is benchmarked with a currently available control solution.

In system identification, input selection is a challenging problem. Since less complex models are desireable, non-relevant inputs should be methodically and correctly discarded before or under the estimation process. In this paper we investigate an input selection extension in least-squares ARX estimation and show that better model estimates are achieved compared to the least-square ssolution, in particular, for short batches of estimation data. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

In this paper we show how to synthesize simple explicit MPC controllers based on approximate dynamic programming. Here, a given MPC optimization problem over a finite horizon is solved iteratively as a series of problems of size one. The optimal cost function of each subproblem is approximated by a quadratic function that serves as a cost-to-go function for the subsequent iteration. The approximation is designed in such a way that closed-loop stability and recursive feasibility is maintained. Specifically, we show how to employ sum-of-squares relaxations to enforce that the approximate cost-to-go function is bounded from below and from above for all points of its domain. By resorting to quadratic approximations, the complexity of the resulting explicit MPC controller is considerably reduced both in terms of memory as well as the on-line computations. The procedure is applied to control an inverted pendulum and experimental data are presented to demonstrate viability of such an approach., Funding agencies: Scientific Grant Agency of the Slovak Republic [1/0403/15]; Slovak Research and Development Agency [APVV-15-0007]

This paper presents a new method to compute upper and lower bounds of any voltage or current of an arbitrary linear electric circuit model with uncertain parameters. The bounds are in the frequency domain, and when compared to a previously proposed method, this novel approach provides a higher level of guarantee. The reason is that the bounds are not only computed for a set of fixed frequencies but also computed to a set of intervals of frequencies. The details of the proposed approach, especially the equivalent uncertain element models, are given. Additionally, tests are performed on problems with low and high number of uncertain parameters. Contrary to the classical method of Monte Carlo, the results are not based on a random choice of parameters and do not depend on the number of iterations. It is shown on an example that the classical method of Monte Carlo needs a high number of iterations to reach results in agreement with the proposed method. Then, it leads to higher computation times of several orders of magnitude., Funding Agencies|LIA Maxwell French-Brazilian collaboration; Swedish-Brazilian Research and Inovation Center (CISB)

n/a, Funding Agencies|Saab Aeronautics; Swedish Governmental Agency for Innovation Systems; Centrum for Industriell Informationsteknologi

Modern fighter aircraft require maximum control performance in order to have the upper hand in a dogfight or when they have to outmaneuver an enemy missile. Therefore pilots must be able to maneuver the aircraft very close to the limit of what it is capable of while at the same time focus on the tactical tasks of the mission. To enable this, modern flight control systems have automatic systems for angle of attack and load factor limiting. One such design technique is reference or command governors. In this paper we investigate different ways of designing command governors for angle of attack and load factor limiting in in fighter aircraft flight control systems. We discuss different design approaches and their properties and implement one selected design in Saab's JAS 39 Gripen fighter aircraft simulation environment.

Devising the planar routes of minimal length that are required to pass through predefined neighborhoods of target points plays an important role in reducing the missions operating cost. Two versions of the problem are considered. The first one assumes that the ordering of the targets is fixed a priori. In such a case, the optimal route is devised by solving a convex optimization problem formulated either as a second-order cone program or as a sum-of-squares optimization problem. Additional route properties, such as continuity and minimal curvature, are considered as well. The second version allows the ordering of the targets to be optimized to further reduce the route length. We show that such a problem can be solved by introducing additional binary variables, which allows the route to be designed using off-the-shelf mixed-integer solvers. A case study that shows that the proposed strategy is computationally tractable is presented., Funding Agencies|Scientific Grant Agency of the Slovak Republic [1/0403/15]; Slovak Research and Development Agency [APVV-15-0007]; STU Grant scheme of Excellent Teams of Young Researchers; Linkoping University CENIIT grant [11.05]

Input selection is an important and oftentimes difficult challenge in system identification. In order to achieve less complex models, irrelevant inputs should be methodically and correctly discarded before or under the estimation process. In this paper we introduce a novel method of input selection that is carried out as a natural extension in a subspace method. We show that the method robustly and accurately performs input selection at various noise levels and that it provides good model estimates. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved., Funding Agencies|Swedish Research Council [E05946CI]

It is a well known fact that finite time optimal controllers, such as MPC do not necessarily result in closed loop stable systems. Within the MPC community it is common practice to add a final state constraint and/or a final state penalty in order to obtain guaranteed stability. However, for more advanced controller structures it can be difficult to show stability using these techniques. Additionally in some cases the final state constraint set consists of so many inequalities that the complexity of the MPC problem is too big for use in certain fast and time critical applications. In this paper we instead focus on deriving a tool for a-postiori analysis of the closed loop stability for linear systems controlled with MPC controllers. We formulate an optimisation problem that gives a sufficient condition for stability of the closed loop system and we show that the problem can be written as a Mixed Integer Linear Programming Problem (MILP)., Funding agencies: Swedish Governmental Agency for Innovation Systems (VINNOVA); Centrum for indnstriell informationsteknologi (CENIIT)

This study presents a new approach for optimal placement of synchronised phasor measurement units (PMUs) to ensure complete power system observability in the presence of non-synchronous conventional measurements and zero injections. Currently, financial or technical restrictions prohibit the deployment of PMUs on every bus, which in turn motivates their strategic placement across the power system. PMU allocation is optimised here based on measurement observability criteria for achieving solvability of the power system state estimation. Most of the previous work has proposed topological observability based methods for optimal PMU placement (OPP), which may not always ensure numerical observability required for successful execution of state estimation. The proposed OPP method finds out the minimum number and the optimal locations of PMUs required to make the power system numerically observable. The problem is formulated as a binary semi-definite programming (BSDP) model, with binary decision variables, minimising a linear objective function subject to linear matrix inequality observability constraints. The BSDP problem is solved using an outer approximation scheme based on binary integer linear programming. The developed method is conducted on IEEE standard test systems. A large-scale system with 3120 buses is also analysed to exhibit the applicability of proposed model to practical power system cases.

Among the many different formulations of Model Predictive Control (MPC) with guaranteed stability, one that has attracted significant attention is the formulation with a terminal cost and terminal constraint set, the so called dual mode formulation. In this technical note our goal is to make minimal changes to the dual mode framework, for the linear polytopic case, in order to develop a flexible reference tracking algorithm with guaranteed stability and low complexity, which is intuitive and easily understood. The main idea is to introduce a scaling variable that dynamically scales the terminal constraint set and therefore allows it to be centered around an arbitrary setpoint without violating the stability conditions. The main benefit of the algorithm is reduced complexity of the resulting QP compared to other state of art methods without loosing performance., Funding Agencies|Linkoping University; Saab Aeronautics; Swedish Governmental Agency for Innovation Systems (VINNOVA); Center for industrial information technology (CENIIT)

A method to identify linear parameter varying models through minimisation of an -norm objective is presented. The method uses a direct nonlinear programming approach to a non-convex problem. The reason to use -norm is twofold. To begin with, it is a well-known and widely used system norm, and second, the cost functions described in this paper become differentiable when using the -norm. This enables us to have a measure of first-order optimality and to use standard quasi-Newton solvers to solve the problem. The specific structure of the problem is utilised in great detail to compute cost functions and gradients efficiently. Additionally, a regularised version of the method, which also has a nice computational structure, is presented. The regularised version is shown to have an interesting interpretation with connections to worst-case approaches.

Model predictive control (MPC) is one of the most popular advanced control techniques and is used widely in industry. The main drawback with MPC is that it is fairly computationally expensive and this has so far limited its practical use for nonlinear systems. To reduce the computational burden of nonlinear MPC, Feedback Linearization together with linear MPC has been used successfully to control nonlinear systems. The main drawback is that this results in an optimization problem with nonlinear constraints on the control signal. In this paper we propose a method to handle the nonlinear constraints that arises using a set of dynamically generated local inner polytopic approximations. The main benefits of the proposed method is guaranteed recursive feasibility and convergence.