This work presents a theoretical framework for the safety‐critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees for delay‐free systems, is extended to systems with state delay. The notion of control barrier functionals is introduced, to attain formal safety guarantees by enforcing the forward invariance of safe sets defined in the infinite dimensional state space. The proposed framework is able to handle multiple delays and distributed delays both in the dynamics and in the safety condition, and provides an affine constraint on the control input that yields provable safety. This constraint can be incorporated into optimization problems to synthesize pointwise optimal and provable safe controllers. The applicability of the proposed method is demonstrated by numerical simulation examples.
Control Barrier Functions (CBFs) have become popular for enforcing — via barrier constraints — the safe operation of nonlinear systems within an admissible set. For systems with input delay(s) of the same length, constrained control has been achieved by combining a CBF for the delay free system with a state predictor that compensates the single input delay. Recently, this approach was extended to multi input systems with input delays of different lengths. One limitation of this extension is that barrier constraint adherence can only be guaranteed after the longest input delay has been compensated and all input channels become available for control. In this paper, we consider the problem of enforcing constraint adherence when only a subset of input delays have been compensated. In particular, we propose a new barrier constraint formulation that ensures that when possible, a subset of input channels with shorter delays will be utilized for keeping the system in the admissible set even before longer input delays have been compensated. We include a numerical example to demonstrate the effectiveness of the proposed approach.
more » « less- Award ID(s):
- 1935329
- NSF-PAR ID:
- 10291533
- Date Published:
- Journal Name:
- ASME 2020 Dynamic Systems and Control Conference
- Volume:
- 84270
- Page Range / eLocation ID:
- V001T04A006
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
Abstarct -
This paper addresses the problem of hybrid control for a class of switched uncertain systems. The switched system under consideration is subject to structured uncertain dynamics in a linear fractional transformation (LFT) form and time-varying input delays. A novel hybrid controller is proposed, which consists of three major components: the integral quadratic constraint (IQC) dynamics, the continuous dynamics, and the jump dynamics. The IQC dynamics are developed by leveraging methodologies from robust control theory and are utilised to address the effects of time-varying input delays. The continuous dynamics are structured by feeding back not only measurement outputs but also some system's internal signals. The jump dynamics enforce a jump (update/reset) at every switching time instant for the states of both IQC dynamics and continuous dynamics. Based on this, robust stability of the overall hybrid closed-loop system is established under the average dwell time framework with multiple Lyapunov functions. Moreover, the associated control synthesis conditions are fully characterised as linear matrix inequalities, which can be solved efficiently. An application example on regulation of a nonlinear switched electronic circuit system has been used to demonstrate effectiveness and usefulness of the proposed approach.more » « less
-
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delaysnull (Ed.)In this paper, we first propose a method that can efficiently compute the maximal robust controlled invariant set for discrete-time linear systems with pure delay in input. The key to this method is to construct an auxiliary linear system (without delay) with the same state-space dimension of the original system in consideration and to relate the maximal invariant set of the auxiliary system to that of the original system. When the system is subject to disturbances, guaranteeing safety is harder for systems with input delays. Ability to incorporate any additional information about the disturbance becomes more critical in these cases. Motivated by this observation, in the second part of the paper, we generalize the proposed method to take into account additional preview information on the disturbances, while maintaining computational efficiency. Compared with the naive approach of constructing a higher dimensional system by appending the state-space with the delayed inputs and previewed disturbances, the proposed approach is demonstrated to scale much better with the increasing delay time.more » « less
-
more » « less
Abstract Global sampled‐data stabilization for a class of nonlinear continuous system with input delay has been investigated directly in the discrete‐time domain due to challenges confronted in dealing with infinite‐dimensional system under input delay. Memorized state feedback controllers and output feedback controllers based on dynamic extension of state space have been constructed within the framework of co‐design between sampling period and scaling gain. Upon this compensation scheme, global sampled‐data stabilization a class of nonlinear system has been successfully realized no matter the input delay is smaller than the sampling period or not. Compared with memory‐less sampled‐data controllers, not only sampled‐data stabilization under large input delay has been realized but also transient performance of closed‐loop system has been further improved. Simulation results under different input delays and sampling periods have illustrated the effectiveness of results obtained.
-
more » « less
Summary Robust control of parameter‐dependent input delay linear parameter‐varying (LPV) systems via gain‐scheduled dynamic output‐feedback control is considered in this paper. The controller is designed to provide disturbance rejection in the context of the induced
‐norm or the norm of the closed‐loop system in the presence of uncertainty and disturbances. A reciprocally convex approach is employed to bound the Lyapunov‐Krasovskii functional derivative and extract sufficient conditions for the controller characterization in terms of linear matrix inequalities (LMIs). The approach does not require the rate of the delay to be bounded, hence encompasses a broader family of input‐delay LPV systems with fast‐varying delays. The method is then applied to the air‐fuel ratio (AFR) control in spark ignition (SI) engines where the delay and the plant parameters are functions of the engine speed and mass air flow. The objectives are to track the commanded AFR signal and to optimize the performance of the three‐way catalytic converter (TWC) through the precise AFR control and oxygen level regulation, resulting in improved fuel efficiency and reduced emissions. The designed AFR controller seeks to provide canister purge disturbance rejection over the full operating envelope of the SI engine in the presence of uncertainties. Closed‐loop simulation results are presented to validate the controller performance and robustness while meeting AFR tracking and disturbance rejection requirements.
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1115/DSCC2020-3271
