Safety Control Synthesis with Input Limits: a Hybrid Approach

We introduce a hybrid (discrete--continuous) safety controller which enforces strict state and input constraints on a system---but only acts when necessary, preserving transparent operation of the original system within some safe region of the state space. We define this space using a Min-Quadratic Barrier function, which we construct along the equilibrium manifold using the Lyapunov functions which result from linear matrix inequality controller synthesis for locally valid uncertain linearizations. We also introduce the concept of a barrier pair, which makes it easy to extend the approach to include trajectory-based augmentations to the safe region, in the style of LQR-Trees. We demonstrate our controller and barrier pair synthesis method in simulation-based examples.Comment: 6 pages, 7 figures. Accepted for publication at the 2018 American Controls Conference. Copyright IEEE 201

Active Sampling-based Binary Verification of Dynamical Systems

Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinearity of the resulting closed-loop system complicates verification that the system does in fact satisfy those requirements at all possible operating conditions. While analytical proof-based techniques and finite abstractions can be used to provably verify the closed-loop system's response at different operating conditions, they often produce conservative approximations due to restrictive assumptions and are difficult to construct in many applications. In contrast, popular statistical verification techniques relax the restrictions and instead rely upon simulations to construct statistical or probabilistic guarantees. This work presents a data-driven statistical verification procedure that instead constructs statistical learning models from simulated training data to separate the set of possible perturbations into "safe" and "unsafe" subsets. Binary evaluations of closed-loop system requirement satisfaction at various realizations of the uncertainties are obtained through temporal logic robustness metrics, which are then used to construct predictive models of requirement satisfaction over the full set of possible uncertainties. As the accuracy of these predictive statistical models is inherently coupled to the quality of the training data, an active learning algorithm selects additional sample points in order to maximize the expected change in the data-driven model and thus, indirectly, minimize the prediction error. Various case studies demonstrate the closed-loop verification procedure and highlight improvements in prediction error over both existing analytical and statistical verification techniques.Comment: 23 page

Advanced Computational-Effective Control and Observation Schemes for Constrained Nonlinear Systems

Constraints are one of the most common challenges that must be faced in control systems design. The sources of constraints in engineering applications are several, ranging from actuator saturations to safety restrictions, from imposed operating conditions to trajectory limitations. Their presence cannot be avoided, and their importance grows even more in high performance or hazardous applications. As a consequence, a common strategy to mitigate their negative effect is to oversize the components. This conservative choice could be largely avoided if the controller was designed taking all limitations into account. Similarly, neglecting the constraints in system estimation often leads to suboptimal solutions, which in turn may negatively affect the control effectiveness. Therefore, with the idea of taking a step further towards reliable and sustainable engineering solutions, based on more conscious use of the plants' dynamics, we decide to address in this thesis two fundamental challenges related to constrained control and observation. In the first part of this work, we consider the control of uncertain nonlinear systems with input and state constraints, for which a general approach remains elusive. In this context, we propose a novel closed-form solution based on Explicit Reference Governors and Barrier Lyapunov Functions. Notably, it is shown that adaptive strategies can be embedded in the constrained controller design, thus handling parametric uncertainties that often hinder the resulting performance of constraint-aware techniques. The second part of the thesis deals with the global observation of dynamical systems subject to topological constraints, such as those evolving on Lie groups or homogeneous spaces. Here, general observability analysis tools are overviewed, and the problem of sensorless control of permanent magnets electrical machines is presented as a case of study. Through simulation and experimental results, we demonstrate that the proposed formalism leads to high control performance and simple implementation in embedded digital controllers

Robust Adaptive Control Barrier Functions: An Adaptive & Data-Driven Approach to Safety (Extended Version)

A new framework is developed for control of constrained nonlinear systems with structured parametric uncertainties. Forward invariance of a safe set is achieved through online parameter adaptation and data-driven model estimation. The new adaptive data-driven safety paradigm is merged with a recent adaptive control algorithm for systems nominally contracting in closed-loop. This unification is more general than other safety controllers as closed-loop contraction does not require the system be invertible or in a particular form. Additionally, the approach is less expensive than nonlinear model predictive control as it does not require a full desired trajectory, but rather only a desired terminal state. The approach is illustrated on the pitch dynamics of an aircraft with uncertain nonlinear aerodynamics.Comment: Added aCBF non-Lipschitz example and discussion on approach implementatio

Decentralized Control for Large-Scale Interconnected Nonlinear Systems Based on Barrier Lyapunov Function

We present a novel decentralized tracking control scheme for a class of large-scale nonlinear systems with partial state constraints. For the first time, backstepping design with the newly proposed BLF is incorporated to effectively deal with the control problem of nonlinear systems with interconnected constraints. To prevent the states of each subsystem from violating the constraints, we employ a special barrier Lyapunov function (BLF), which grows to infinity whenever its argument approaches some finite limits. By ensuring boundedness of the barrier Lyapunov function in the closed loop, we ensure that those limits are not transgressed. Asymptotic tracking is achieved without violation of the constraints, and all closed-loop signals remain bounded. In the end, an illustrative example is presented to demonstrate the performance of the proposed control