Abstract:Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing. This paper focuses on investigating the reach-avoid problem in such systems, where the objective is to reach a goal set while avoiding unsafe states, especially in the presence of state measurement uncertainties. We propose an approach that builds upon the concept of exponential control guidance barrier functions, originally used for synthesizing continuous-time feedback controllers. We introduce a sufficient condition that, if met by a given continuous-time feedback controller, ensures the safe guidance of the system into the goal set in its sampled-data implementation, despite state measurement uncertainties. The event of reaching the goal set is determined based on state measurements obtained at the sampling time instants. Numerical examples are provided to demonstrate the validity of our theoretical developments, showcasing successful implementation in solving the reach-avoid problem in sampled-data systems with state measurement uncertainties.

What problem does this paper attempt to address?

This paper attempts to address the problem of achieving the "reach-avoid" objective in sampled-data systems with state measurement uncertainties. Specifically, the paper focuses on how to design controllers in sampled-data systems so that the system can successfully reach the target set while avoiding unsafe states. The paper particularly considers state uncertainties in periodic measurements and proposes a method based on exponential control guiding barrier functions to ensure the safety of the system. ### Main Contributions: 1. **Dynamic Difference Analysis**: The paper analyzes the dynamic differences between continuous-time control systems and their corresponding sampled-data control systems, especially in the presence of state measurement uncertainties. 2. **Sufficient Condition**: Based on the above analysis, the paper proposes a sufficient condition to ensure that a given continuous-time feedback controller can safely guide the system to the target set in the sampled-data implementation, even in the presence of state measurement uncertainties. ### Background and Motivation: - **Sampled-Data Systems**: In modern control systems, continuous-time systems are usually controlled by discrete-time (digital) controllers, which are widely used in fields such as aerospace, automotive, and manufacturing. - **Reach-Avoid Problem**: In areas like robotic motion planning and safety-critical control, guiding the system to reach the target set while avoiding unsafe states is an important problem. - **Challenges**: Although continuous-time controllers are theoretically reliable, they are difficult to implement in practice due to the need for continuous updating of control signals. Therefore, discrete-time sampling techniques are often used to implement controllers, but this method introduces state estimation errors, affecting the performance and safety of the system. ### Methods and Techniques: - **Exponential Control Guiding Barrier Functions**: The paper utilizes the concept of exponential control guiding barrier functions and proposes a sufficient condition to ensure that the system can safely reach the target set in the sampled-data implementation. - **Dynamic Difference Analysis**: By analyzing the dynamic differences between continuous-time control systems and sampled-data control systems, the paper evaluates the reach-avoid properties of sampled-data systems under specific disturbance inputs. - **Example Verification**: The paper provides numerical examples to demonstrate the effectiveness of the proposed method, particularly in successfully addressing the reach-avoid problem in sampled-data systems. ### Conclusion: Through theoretical analysis and numerical examples, the paper demonstrates that the proposed method based on exponential control guiding barrier functions can effectively solve the reach-avoid problem in sampled-data systems with state measurement uncertainties, providing new ideas and methods for designing safe and reliable controllers.

Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties

Sampled-Data Control for Time-Delay Uncertain Linear Systems

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties

Model Predictive Control with Reach-avoid Analysis

Robust Sampled-Data Control for Uncertain Nonlinear Systems

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets

Correct-by-construction reach-avoid control of partially observable linear stochastic systems

Reliable Control Against Sensor Failures for Markov Jump Systems with Unideal Measurements

Robust Extended Dissipative Control for Sampled-Data Markov Jump Systems.

Event-triggered Adaptive Control for a Class of Discrete-Time Uncertain Nonlinear Systems

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions

Controlling Multivariable Systems with Significant Uncertainty

Asymptotic Tracking Controller Design for Nonlinear Systems with Guaranteed Performance.

Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach

Reachable Set Control for Discrete-Time Takagi-Sugeno Fuzzy Singular Markov Jump System

Probabilistic Reachability Analysis of Stochastic Control Systems

Statistical verification of autonomous system controllers under timing uncertainties

Safety-Critical Control With Control Barrier Function Based on Disturbance Observer

Adaptive event-triggered reachable set control for Markov jump cyber-physical systems with time-varying delays

Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models