Elias B. Kosmatopoulos
Please Note
17 records found
1
Passive Fault-Tolerant Augmented Neural Lyapunov Control
A method to synthesise control functions for marine vehicles affected by actuators faults
Closed-loop stability of control systems can be undermined by actuator faults. Redundant actuator sets and Fault-Tolerant Control (FTC) strategies can be exploited to enhance system resiliency to loss of actuator efficiency, complete failures or jamming. Passive FTC methods entail designing a fixed-gain control law that can preserve the stability of the closed-loop system when faults occur, by compromising on the performance of the faultless system. The use of Passive FTC methods is of particular interest in the case of underwater autonomous platforms, where the use of extensive sensoring to monitor the status of the actuator is limited by strict space and energy constraints. In this work, a machine learning-based method is formulated to systematically synthesise control laws for systems affected by actuator faults, encompassing partial and total loss of actuator efficiency and control surfaces jamming. Differently from other methods in this category, the closed-loop stability is formally certified. The learning architecture encompasses two Artificial Neural Networks, one representing the control law, and the other resembling a Control Lyapunov Function (CLF). Periodically, a Satisfiability Modulo Theory solver is employed to verify that the synthesised CLF formally satisfies the theoretical Lyapunov conditions associated to both the nominal and faulty dynamics. The method is applied to three marine test cases: first, an Autonomous Underwater Vehicle performing planar motion and subjected to full loss of actuator efficiency is investigated. Next, a study is conducted on a hybrid Underwater Glider with a pair of independent twin stern planes jamming at a fixed position. Finally, partial loss of effectiveness is considered. In all three scenarios, the system is able to synthesise stabilising control laws with performance degradation prescribed by the user. Unlike other machine-learning based techniques, this method offers formal stability certificates and relies on limited computational resources rendering it possible to be run on unassuming office laptops. An open-source software tool is developed and released at: https://github.com/grande-dev/pFT-ANLC.
Enabling Optimal Energy Management with Minimal IoT Requirements
A Legacy A/C Case Study
On vanishing gains in robust adaptation of switched systems
A new leakage-based result for a class of Euler–Lagrange dynamics
In the presence of unmodelled dynamics and uncertainties with no a priori constant bounds, conventional robust adaptation strategies for switched systems cannot allow the control gains of inactive subsystems to remain constant during inactive intervals: vanishing gains are typically required in order to prove bounded stability. As a consequence, these strategies, known in literature as leakage-based adaptive methods, might introduce poor transients at each switching instant. Leakage-based adaptive control becomes even more problematic in the switched nonlinear case, where non-conservative state-dependent upper bounds for uncertainties and unmodelled dynamics are required. This work shows that, for a class of switched Euler–Lagrange systems, such difficulties can be mitigated: a novel leakage-based stable mechanism is introduced which allows the gains of inactive subsystems to remain constant. At the same time, unmodelled dynamics and uncertainties with no a priori bounds can be handled by a quadratic state-dependent upper bound structure that reduces conservativeness as compared to state-of-the-art structures. The proposed design is validated analytically and its performance is studied in simulation with a pick-and-place robotic manipulator example.
In this study, the authors study adaptive synchronisation in networks with Kuramoto units whose parameters are unknown and where measurements are quantised over the communication network (therefore information is limited). They show that, for an undirected connected graph, synchronisation is enabled via appropriate adaptive protocols that counteract the effect of heterogeneity, uncertainty and quantised information. In particular, to address heterogeneity and uncertainty, appropriate adaptive laws are designed to drive the network to frequency synchronisation; to address quantised information, a dynamic quantiser is introduced and embedded into the adaptive mechanism via a zooming-based approach (therefore with hybrid dynamics). The resulting protocol ends up being an adaptive hybrid synchronisation strategy that can be distributed throughout the network: the quantiser is co-designed with the controller, as typical for zooming-based quantisation. The proposed integrated adaptation+quantisation protocol guarantees asymptotic synchronisation to a desired frequency, which is shown via an appropriately designed distributed Lyapunov function. Numerical simulations are also used to demonstrate the effectiveness of the proposed protocol.
Traffic congestion in urban networks may lead to strong degradation in the utilization of the network infrastructure, which can be mitigated via suitable control strategies. This paper studies and analyzes the performance of an adaptive traffic-responsive strategy that controls the traffic light parameters in an urban network to reduce traffic congestion. A nearly optimal control formulation is adopted to avoid the curse of dimensionality occurring in the solution of the corresponding Hamilton–Jacobi–Bellman (HJB) optimal control problem. First, an (approximate) solution of the HJB is parametrized via an appropriate Lyapunov function; then, the solution is updated at each iteration in such a way to approach the nearly optimal solution, using a close-to-optimality index and information coming from the simulation model of the network (simulation-based design). Simulation results obtained using a traffic simulation model of the network Chania, Greece, an urban traffic network containing many varieties of junction staging, demonstrate the efficiency of the proposed approach, as compared with alternative traffic strategies based on a simplified linear model of the traffic network. It is shown that the proposed strategy can adapt to different traffic conditions and that low-complexity parametrizations of the optimal solution, a linear and a bimodal piecewise linear strategy, respectively, provide a satisfactory trade-off between computational complexity and network performance.
In this work we propose a novel adaptive switching strategy for the design of pulse width modulation signals in power converters. Instead of an uncertain averaged model of the power converter, an uncertain switched model is considered, which can better represent the actual power converter dynamics. Uncertainties in the power converters parameters are handled via an adaptive control approach, and all circuit parameters of the switched model are assumed to be unknown (including the load and parasitic effects). After defining the pulse width modulation in terms of a reverse mode-dependent dwell time, an elementary-time-unit Lyapunov function is used to derive a set of linear matrix inequalities (LMIs) based on global uniformly ultimately boundedness of the switched system. The LMIs are solved in an adaptive fashion using an exploitation–exploration mechanism: exploitation is achieved by solving the LMIs based on the estimated switched model, while exploration is achieved by a persistently exciting input voltage source, which guarantees convergence of the estimated parameters to the true system parameters.
We analyze adaptive synchronization capabilities in networks with Kuramoto-like units whose dynamical features are unknown and thus synchronization protocols must exhibit co-evolution capabilities. In the presence of heterogeneous and uncertain units, synchronization should be enabled by appropriate adaptive protocols that counteract the effect of heterogeneity. An interaction protocol is presented that is used by the units to communicate with each other: the protocol is based on a distributed disagreement measure. The aim of the protocol is to adapt feedback and coupling gains, so as to guarantee the emergence of a synchronous solution. The adaptive strategy is distributed, i.e. each unit self-determines the strength of its gains by using only neighboring measurements. Convergence of the synchronization error to zero is shown via Lyapunov analysis, and numerical examples demonstrate the effectiveness of the proposed protocol.
uniformity with respect to initial operating conditions, while price variations in the electricity and available solar energy are handled automatically in the optimization. The resulting control action is a multi-modal feedback, which is shown to handle a wide range of operating regimes, via a set of controllers whose action that can be activated or deactivated depending on availability
of solar energy and pricing model. Extensive simulations via a charging test case demonstrate the effectiveness of the approach. ...
uniformity with respect to initial operating conditions, while price variations in the electricity and available solar energy are handled automatically in the optimization. The resulting control action is a multi-modal feedback, which is shown to handle a wide range of operating regimes, via a set of controllers whose action that can be activated or deactivated depending on availability
of solar energy and pricing model. Extensive simulations via a charging test case demonstrate the effectiveness of the approach.
In networks with heterogeneous and uncertain agents, fixed-gain control can lead to synchronization only if the uncertainties are relatively small. If the uncertainties are larger, we need to develop adaptive-gain approaches to achieve synchronization. In this work we propose an adaptive synchronization protocol, in case of full-state measurement, for uncertain heterogeneous agents based on a distributed disagreement reasoning. Specifically, we first define unknown gains (feedback and coupling gains) that could lead all agents to a homogeneous behavior and thus synchronization: however, since these gains are unknown in view of the unknown dynamics, we design adaptive laws for these gains that lead the agents toward synchronization. The adaptive laws are driven by a disagreement error which is calculated among neighbors: a Lyapunov analysis is presented for showing convergence of the synchronization error to zero.
Automating occupant-building interaction via smart zoning of thermostatic loads
A switched self-tuning approach
Load management actions in large buildings are pre-programmed by field engineers/users in the form of if-then-else rules for the set point of the thermostat. This fixed set of actions prevents smart zoning, i.e. to dynamically regulate the set points in every room at different levels according to geometry, orientation and interaction among rooms caused by occupancy patterns. In this work we frame the problem of load management with smart zoning into a multiple-mode feedback-based optimal control problem: multiple-mode refers to embedding multiple behaviors (triggered by building-occupant dynamic interaction) into the optimization problem; feedback-based refers to adopting a Hamilton-Jacobi-Bellman framework, with closed-loop control strategies using information stemming from building and weather states. The framework is solved by parameterizing the candidate control strategies and by searching for the optimal strategy in an adaptive self-tuning way. To demonstrate the proposed approach, we employ an EnergyPlus model of an actual office building in Crete, Greece. Extensive tests show that the proposed solution is able to provide, dynamically and autonomously, dedicated set points levels in every room in such a way to optimize the whole building performance (exploitation of renewable energy sources with improved thermal comfort). As compared to pre-programmed (non-optimal) strategies, we show that smart zoning makes it is possible to save more than 15% energy consumption, with 25% increased thermal comfort. As compared to optimized strategies in which smart zoning is not implemented, smart zoning leads to additional 4% reduced energy and 8% improved comfort, demonstrating improved occupant-building interaction. Such improvements are motivated by the fact that the approach exploits the building dynamics as learned from feedback data. Moreover, the closed-loop feature of the approach makes it robust to variable weather conditions and occupancy schedules.
This work proposes an online policy iteration procedure for the synthesis of sub-optimal control laws for uncertain Linear Time Invariant (LTI) Asymptotically Null-Controllable with Bounded Inputs (ANCBI) systems. The proposed policy iteration method relies on: a policy evaluation step with a piecewise quadratic Lyapunov function in both the state and the deadzone functions of the input signals; a policy improvement step which guarantees at the same time close to optimality (exploitation) and persistence of excitation (exploration). The proposed approach guarantees convergence of the trajectory to a neighborhood around the origin. Besides, the trajectories can be made arbitrarily close to the optimal one provided that the rate at which the the value function and the control policy are updated is fast enough. The solution to the inequalities required to hold at each policy evaluation step can be efficiently implemented with semidefinite programming (SDP) solvers. A numerical example illustrates the results.
An adaptive decentralized strategy for active queue management of TCP flows over communication networks is presented. The proposed strategy solves locally, at each link, an optimal control problem, minimizing a cost composed of residual capacity and buffer queue size. The solution of the optimal control problem exploits an adaptive optimization algorithm aiming at adaptively minimizing a suitable approximation of the Hamilton-Jacobi-Bellman equation associated with the optimal control problem. Simulations results, obtained by using a fluid flow based model of the communication network and a common network topology, show improvement with respect to the Random Early Detection strategy. Besides, it is shown that the performance of the proposed decentralized solution is comparable with the performance obtained with a centralized strategy, which solves the optimal control problem via a central unit that maintains the flow states of the entire network.
Microgrids equipped with small-scale renewable-energy generation systems and energy storage units offer challenging opportunity from a control point of view. In fact, in order to improve resilience and enable islanded mode, micro-grid energy management systems must dynamically manage controllable loads by considering not only matching energy generation and consumption, but also thermal comfort of the occupants. Thermal comfort, which is often neglected or oversimplified, plays a major role in dynamic demand response, especially in front of intermittent behavior of the renewable energy sources. This paper presents a novel control algorithm for joint demand response management and thermal comfort optimization in a microgrid composed of a block of buildings, a photovoltaic array, a wind turbine, and an energy storage unit. In order to address the large-scale nature of the problem, the proposed control strategy adopt a two-level supervisory strategy: at the lower level, each building employs a local controller that processes only local measurements; at the upper level, a centralized unit supervises and updates the three controllers with the aim of minimizing the aggregate energy cost and thermal discomfort of the microgrid. Comparisons with alternative strategies reveal that the proposed supervisory strategy efficiently manages the demand response so as to sensibly improve independence of the microgrid with respect to the main grid, and guarantees at the same time thermal comfort of the occupants.