Linear matrix inequalities (LMIs) commonly appear in systems, stability, and control
applications. Many analysis and synthesis problems in these areas can be solved as …

Equipping any controller with formal safety guarantees can be achieved by using safety
filters. These filters modify the desired control input in the least restrictive way to guarantee …

We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear
systems. Departing from previous approaches, we consider implicit, rather than explicit …

Many correct-by-construction control synthesis methods suffer from the curse of
dimensionality. Motivated by this challenge, we seek to reduce a correct-by-construction …

Given a stable linear time-invariant (LTI) system subject to output constraints, we present a
method to compute a set of disturbances such that the reachable set of outputs matches as …

This paper presents an algorithm for the computation of full‐complexity polytopic robust
control invariant (RCI) sets, and the corresponding linear state‐feedback control law. The …

This article proposes novel methods for the computation of state and output bounding sets
for discrete‐time uncertain systems. The systems under consideration are formed from the …

This letter presents a method to identify an uncertain linear time-invariant (LTI) prediction
model for tube-based Robust Model Predictive Control (RMPC). The uncertain model is …

Set invariance in the presence of uncertainty and disturbance is of central importance for the
safety of control systems. This article proposes a data-driven method to compute an …

This paper considers the problem of computing a low-complexity robust control-invariant (LC-
RCI) set for uncertain systems, along with a static linear state-feedback law. The LC-RCI set …