Hasil untuk "River protective works. Regulation. Flood control"

Ruikang Liang, Gong Cheng

Quantum ensemble systems arise in a variety of applications, including NMR spectroscopy and robust quantum control. While their theoretical properties have been extensively studied, relatively little attention has been given to the explicit construction of control inputs. In this paper, we address this gap by presenting a fully implementable control strategy for a one-parameter family of driftless two-level quantum systems. The proposed method is supported by rigorous analysis that guarantees accurate approximation of target distributions on SU(2). Convergence properties are established analytically, and numerical simulations are provided to demonstrate the effectiveness of the approach.

Allan Andre do Nascimento, Antonis Papachristodoulou, Kostas Margellos

Control barrier functions (CBFs) offer an efficient framework for designing real-time safe controllers. However, CBF-based controllers can be short-sighted, resulting in poor performance, a behaviour which is aggravated in uncertain conditions. This motivated research on safety filters based on model predictive control (MPC) and its stochastic variant. MPC deals with safety constraints in a direct manner, however, its computational demands grow with the prediction horizon length. We propose a safety formulation that solves a finite horizon optimization problem at each time instance like MPC, but rather than explicitly imposing constraints along the prediction horizon, we enforce probabilistic safety constraints by means of CBFs only at the first step of the horizon. The probabilistic CBF constraints are transformed in a finite number of deterministic CBF constraints via the scenario based methodology. Capitalizing on results on scenario based MPC, we provide distribution-free, \emph{a priori} guarantees on the system's closed loop expected safety violation frequency. We demonstrate our results through a case study on unmanned aerial vehicle collision-free position swapping, and provide a numerical comparison with recent stochastic CBF formulations.

Dhairya Patel, Margaret Chapman

We formulate and solve an optimal control problem with cooperative, mean-field coupled linear-quadratic subsystems and additional risk-aware costs depending on the covariance and skew of the disturbance. This problem quantifies the variability of the subsystem state energy rather than merely its expectation. In contrast to related work, we develop an alternative approach that illuminates a family of matrices with many analytical properties, which are useful for effectively extracting the mean-field coupled solution from a standard LQR solution.

Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas et al.

This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior (a subset of the system's behavior that is considered to be critical) can be kept from outside observers. Existing works on opacity for control systems only provide a binary characterization of the system's security level by determining whether the system is opaque or not. In this work, we introduce a quantifiable measure of opacity that considers the likelihood of satisfying opacity for stochastic control systems modeled as general Markov decision processes (gMDPs). We also propose verification methods tailored to the new notions of opacity for finite gMDPs by using value iteration techniques. Then, a new notion called approximate opacity-preserving stochastic simulation relation is proposed, which captures the distance between two systems' behaviors in terms of preserving opacity. Based on this new system relation, we show that one can verify opacity for stochastic control systems using their abstractions (modeled as finite gMDPs). We also discuss how to construct such abstractions for a class of gMDPs under certain stability conditions.

Lukas Brunke, Siqi Zhou, Mingxuan Che et al.

Providing safety guarantees for learning-based controllers is important for real-world applications. One approach to realizing safety for arbitrary control policies is safety filtering. If necessary, the filter modifies control inputs to ensure that the trajectories of a closed-loop system stay within a given state constraint set for all future time, referred to as the set being positive invariant or the system being safe. Under the assumption of fully known dynamics, safety can be certified using control barrier functions (CBFs). However, the dynamics model is often either unknown or only partially known in practice. Learning-based methods have been proposed to approximate the CBF condition for unknown or uncertain systems from data; however, these techniques do not account for input constraints and, as a result, may not yield a valid CBF condition to render the safe set invariant. In this work, we study conditions that guarantee control invariance of the system under input constraints and propose an optimization problem to reduce the conservativeness of CBF-based safety filters. Building on these theoretical insights, we further develop a probabilistic learning approach that allows us to build a safety filter that guarantees safety for uncertain, input-constrained systems with high probability. We demonstrate the efficacy of our proposed approach in simulation and real-world experiments on a quadrotor and show that we can achieve safe closed-loop behavior for a learned system while satisfying state and input constraints.

Jinrae Kim, Youdan Kim

A safe controller for multicopter is proposed using control barrier function. Multicopter dynamics are reformulated to deal with mixed-relative-degree and non-strict-feedback-form dynamics, and a time-varying safe backstepping controller is designed. Despite the time-varying variation, it is proven that the control input can be obtained by solving quadratic programming with affine inequality constraints. The proposed controller does not utilize a cascade control system design, unlike existing studies on the safe control of multicopter. Various safety constraints on angular velocity, total thrust direction, velocity, and position can be considered. Numerical simulation results support that the proposed safe controller does not violate all safety constraints including low- and high-level dynamics.

Claudio De Persis, Monica Rotulo, Pietro Tesi

We introduce a method to deal with the data-driven control design of nonlinear systems. We derive conditions to design controllers via (approximate) nonlinearity cancellation. These conditions take the compact form of data-dependent semi-definite programs. The method returns controllers that can be certified to stabilize the system even when data are perturbed and disturbances affect the dynamics of the system during the execution of the control task, in which case an estimate of the robustly positively invariant set is provided.

Armin Norouzi, Saeid Shahpouri, David Gordon et al.

The high thermal efficiency and reliability of the compression-ignition engine makes it the first choice for many applications. For this to continue, a reduction of the pollutant emissions is needed. One solution is the use of machine learning (ML) and model predictive control (MPC) to minimize emissions and fuel consumption, without adding substantial computational cost to the engine controller. ML is developed in this paper for both modeling engine performance and emissions and for imitating the behaviour of an Linear Parameter Varying (LPV) MPC. Using a support vector machine-based linear parameter varying model of the engine performance and emissions, a model predictive controller is implemented for a 4.5 Cummins diesel engine. This online optimized MPC solution offers advantages in minimizing the \nox~emissions and fuel consumption compared to the baseline feedforward production controller. To reduce the computational cost of this MPC, a deep learning scheme is designed to mimic the behavior of the developed controller. The performance in reducing NOx emissions at a constant load by the imitative controller is similar to that of the online optimized MPC compared to the Cummins production controller. In addition, the imitative controller requires 50 times less computation time compared to that of the online MPC optimization.

Paula Chanfreut, José María Maestre, Eduardo F. Camacho et al.

This paper presents a cloud-based learning model predictive controller that integrates three interacting components: a set of agents, which must learn to perform a finite set of tasks with the minimum possible local cost; a coordinator, which assigns the tasks to the agents; and the cloud, which stores data to facilitate the agents' learning. The tasks consist in traveling repeatedly between a set of target states while satisfying input and state constraints. In turn, the state constraints may change in time for each of the possible tasks. To deal with it, different modes of operation, which establish different restrictions, are defined. The agents' inputs are found by solving local model predictive control (MPC) problems where the terminal set and cost are defined from previous trajectories. The data collected by each agent is uploaded to the cloud and made accessible to all their peers. Likewise, similarity between tasks is exploited to accelerate the learning process. The applicability of the proposed approach is illustrated by simulation results.

Filiberto Fele, Ezequiel Debada, José M. Maestre et al.

Coalitional control is concerned with the management of multi-agent systems where cooperation cannot be taken for granted (due to, e.g., market competition, logistics). This paper proposes a model predictive control (MPC) framework aimed at large-scale dynamically-coupled systems whose individual components, possessing a limited model of the system, are controlled independently, pursuing possibly competing objectives. The emergence of cooperating clusters of controllers is contemplated through an autonomous negotiation protocol, based on the characterization as a coalitional game of the benefit derived by a broader feedback and the alignment of the individual objectives. Specific mechanisms for the cooperative benefit redistribution that relax the cognitive requirements of the game are employed to compensate for possible local cost increases due to cooperation. As a result, the structure of the overall MPC feedback can be adapted online to the degree of interaction between different parts of the system, while satisfying the individual interests of the agents. A wide-area control application for the power grid with the objective of minimizing frequency deviations and undesired inter-area power transfers is used as study case.

Bolun Dai, Prashanth Krishnamurthy, Andrew Papanicolaou et al.

In this paper, we propose a new methodology for state constrained stochastic optimal control (SOC) problems. The solution is based on past work in solving SOC problems using forward-backward stochastic differential equations (FBSDE). Our approach in solving the FBSDE utilizes a deep neural network (DNN), specifically Long Short-Term Memory (LSTM) networks. LSTMs are chosen to solve the FBSDE to address the curse of dimensionality, non-linearities, and long time horizons. In addition, the state constraints are incorporated using a hard penalty function, resulting in a controller that respects the constraint boundaries. Numerical instability that would be introduced by the penalty function is dealt with through an adaptive update scheme. The control design methodology is applicable to a large class of control problems. The performance and scalability of our proposed algorithm are demonstrated by numerical simulations.

David Navarro-Alarcon, Andrea Cherubini, Xiang Li

In this article, we address the problem of computing adaptive sensorimotor models that can be used for guiding the motion of robotic systems with uncertain action-to-perception relations. The formulation of the uncalibrated sensor-based control problem is first presented, then, various computational methods for building adaptive sensorimotor models are derived and analysed. The proposed methodology is exemplified with two cases of study: (i) shape control of deformable objects with unknown properties, and (ii) soft manipulation of ultrasonic probes with uncalibrated sensors.

Torsten Koller, Felix Berkenkamp, Matteo Turchetta et al.

Learning-based methods have been successful in solving complex control tasks without significant prior knowledge about the system. However, these methods typically do not provide any safety guarantees, which prevents their use in safety-critical, real-world applications. In this paper, we present a learning-based model predictive control scheme that can provide provable high-probability safety guarantees. To this end, we exploit regularity assumptions on the dynamics in terms of a Gaussian process prior to construct provably accurate confidence intervals on predicted trajectories. Unlike previous approaches, we do not assume that model uncertainties are independent. Based on these predictions, we guarantee that trajectories satisfy safety constraints. Moreover, we use a terminal set constraint to recursively guarantee the existence of safe control actions at every iteration. In our experiments, we show that the resulting algorithm can be used to safely and efficiently explore and learn about dynamic systems.

Ashkan Jasour, Constantino Lagoa

We consider the Chance Constrained Model Predictive Control problem for polynomial systems subject to disturbances. In this problem, we aim at finding optimal control input for given disturbed dynamical system to minimize a given cost function subject to probabilistic constraints, over a finite horizon. The control laws provided have a predefined (low) risk of not reaching the desired target set. Building on the theory of measures and moments, a sequence of finite semidefinite programmings are provided, whose solution is shown to converge to the optimal solution of the original problem. Numerical examples are presented to illustrate the computational performance of the proposed approach.

Mohammad Javad Khojasteh, Pavankumar Tallapragada, Jorge Cortés et al.

We study event-triggered control for stabilization of unstable linear plants over rate-limited communication channels subject to unknown, bounded delay. On one hand, the timing of event triggering carries implicit information about the state of the plant. On the other hand, the delay in the communication channel causes information loss, as it makes the state information available at the controller out of date. Combining these two effects, we show a phase transition behavior in the transmission rate required for stabilization using a given event-triggering strategy. For small values of the delay, the timing information carried by the triggering events is substantial, and the system can be stabilized with any positive rate. When the delay exceeds a critical threshold, the timing information alone is not enough to achieve stabilization and the required rate grows. When the loss of information due to the communication delay perfectly compensates the implicit information carried by the triggering events, the delay equals the inverse of the entropy rate of the plant, and we obtain the same rate requirement prescribed by the data-rate theorem. When the delay is larger than this threshold, the required rate becomes larger than that required by the data-rate theorem. We also provide an explicit construction yielding a sufficient rate for stabilization, and generalize our results to vector systems. The results do not rely on any a priori probabilistic model of the delay or the initial conditions.

S. Hassan HosseinNia, Inés Tejado, Blas M Vinagre

Reset control is introduced to overcome limitations of linear control. A reset controller includes a linear controller which resets some of states to zero when their input is zero or certain non-zero values. This paper studies the application of the fractional-order Clegg integrator (FCI) and compares its performance with both the commonly used first order reset element (FORE) and traditional Clegg integrator (CI). Moreover, stability of reset control systems is generalized for the fractional-order case. Two examples are given to illustrate the application of the stability theorem.

Antonio Loria

We obviate the use of observers for the purpose of output feedback tracking control of Lagrangian systems and solve some long-standing yet well-documented open problems. As often implemented in control practice, we replace unavailable derivatives with approximate differentiation. Our contribution consists in establishing uniform global asymptotic stability in closed-loop, for Lagrangian systems without dissipative forces (friction) using only position feedback. Firstly, for fully-actuated relative-degree-two systems, the controller is reminiscent of passivity-based controllers for robot manipulators and consists in a linear dynamic system together with a globally-Lipschitz control law. Establishing a global uniform result, all the more with such a simple controller, is particularly valuable relatively to the literature of output-feedback control of systems with non-globally-Lipschitz nonlinearities in the unmeasured variables. This first contribution solves a long-standing open problem and, as a matter of fact, recasted in a general context this result is at the edge of what is achievable -see [24]. Then, we show that our control approach may be applied to a more general problem, that of tracking control of Lagrangian systems augmented by a chain of integrators (with relative degree greater than two). As a corollary, we solve the global-tracking position-feedback control problem for flexible-joint robots but also for systems coupled with output-feedback linearizable actuator dynamics. Finally, we discuss remaining open problems of fairly general interest in the realm of analysis and design of robust nonlinear systems.

Hua Ouyang, Ian R. Petersen, Valery Ugrinovskii

This paper studies the Lagrange stabilization of a class of nonlinear systems whose linear part has a singular system matrix and which have multiple periodic (in state) nonlinearities. Both state and output feedback Lagrange stabilization problems are considered. The paper develops a pseudo H-infinity control theory to solve these stabilization problems. In a similar fashion to the Strict Bounded Real Lemma in classic H-infinity control theory, a Pseudo Strict Bounded Real Lemma is established for systems with a single unstable pole. Sufficient conditions for the synthesis of state feedback and output feedback controllers are given to ensure that the closed-loop system is pseudo strict bounded real. The pseudo H-infinity control approach is applied to solve state feedback and output feedback Lagrange stabilization problems for nonlinear systems with multiple nonlinearities. An example is given to illustrate the proposed method.

Dionisis Stefanatos, Jr-Shin Li

In this article we study the frictionless cooling of atoms trapped in a harmonic potential, while minimizing the transient energy of the system. We show that in the case of unbounded control, this goal is achieved by a singular control, which is also the time-minimal solution for a "dual" problem, where the energy is held fixed. In addition, we examine briefly how the solution is modified when there are bounds on the control. The results presented here have a broad range of applications, from the cooling of a Bose-Einstein condensate confined in a harmonic trap to adiabatic quantum computing and finite time thermodynamic processes.

Yi Guo, S. Hossein Hosseini, John N. Jiang et al.

This paper addresses the problem of controlling a variable-speed wind turbine with a Doubly Fed Induction Generator (DFIG), modeled as an electromechanically-coupled nonlinear system with rotor voltages and blade pitch angle as its inputs, active and reactive powers as its outputs, and most of the aerodynamic and mechanical parameters as its uncertainties. Using a blend of linear and nonlinear control strategies (including feedback linearization, pole placement, uncertainty estimation, and gradient-based potential function minimization) as well as time-scale separation in the dynamics, we develop a controller that is capable of maximizing the active power in the Maximum Power Tracking (MPT) mode, regulating the active power in the Power Regulation (PR) mode, seamlessly switching between the two modes, and simultaneously adjusting the reactive power to achieve a desired power factor. The controller consists of four cascaded components, uses realistic feedback signals, and operates without knowledge of the C_p-surface, air density, friction coefficient, and wind speed. Finally, we show the effectiveness of the controller via simulation with a realistic wind profile.