-
Memoryless concretization relation
Authors:
Julien Calbert,
Sébastien Mattenet,
Antoine Girard,
Raphaël M. Jungers
Abstract:
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify the controller architecture. In the case of ASR, the concretized controller needs to simulate the concurrent evolution of two systems, the original and…
▽ More
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify the controller architecture. In the case of ASR, the concretized controller needs to simulate the concurrent evolution of two systems, the original and abstract systems, while for MCR, the designed controllers only need knowledge of the current concrete state. We demonstrate that the distinction between ASR and MCR becomes significant only when a non-deterministic quantizer is involved, such as in cases where the state space discretization consists of overlap** cells. We also show that any abstraction of a system that alternatingly simulates a system can be completed to satisfy MCR at the expense of increasing the non-determinism in the abstraction. We clarify the difference between the MCR and the feedback refinement relation (FRR), showing in particular that the former allows for non-constant controllers within cells. This provides greater flexibility in constructing a practical abstraction, for instance, by reducing non-determinism in the abstraction. Finally, we prove that this relation is not only sufficient, but also necessary, for ensuring the above properties.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Smart abstraction based on iterative cover and non-uniform cells
Authors:
Julien Calbert,
Lucas N. Egidio,
Raphaël M. Jungers
Abstract:
We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction. For a local optimal control problem, we not only design the controller ensuring the transition between every two subsets (cells) of the state space but also incorporate the volume and shape of these cells into the optim…
▽ More
We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction. For a local optimal control problem, we not only design the controller ensuring the transition between every two subsets (cells) of the state space but also incorporate the volume and shape of these cells into the optimization process. This integrated approach enables the design of non-uniform cells, effectively reducing the complexity of the abstraction. These local optimal controllers are then combined into a digraph, which is globally optimized to obtain the entire trajectory. The global optimizer attempts to lazily build the abstraction along the optimal trajectory, which is less affected by an increase in the number of dimensions. Since the optimal trajectory is generally unknown in practice, we propose a methodology based on the RRT* algorithm to determine it incrementally. Finally, we provide a tractable implementation of this algorithm for the optimal control of L-smooth nonlinear dynamical systems.
△ Less
Submitted 10 May, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
An Efficient Method to Verify the Inclusion of Ellipsoids
Authors:
Julien Calbert,
Lucas N. Egidio,
Raphaël M. Jungers
Abstract:
We present a novel method for deciding whether a given n-dimensional ellipsoid contains another one (possibly with a different center). This method consists in constructing a particular concave function and deciding whether it has any value greater than -1 in a compact interval that is a subset of [0,1]. This can be done efficiently by a bisection algorithm method that is guaranteed to stop in a f…
▽ More
We present a novel method for deciding whether a given n-dimensional ellipsoid contains another one (possibly with a different center). This method consists in constructing a particular concave function and deciding whether it has any value greater than -1 in a compact interval that is a subset of [0,1]. This can be done efficiently by a bisection algorithm method that is guaranteed to stop in a finite number of iterations. The initialization of the method requires O(n^3) floating-point operations and evaluating this function and its derivatives requires O(n). This can be also generalized to compute the smallest level set of a convex quadratic function containing a finite number of n-ellipsoids. In our benchmark with randomly generated ellipsoids, when compared with a classic method based on semidefinite programming, our algorithm performs 27 times faster for ellipsoids of dimension n=3 and 2294 times faster for dimension n=100. We illustrate the usefulness of this method with a problem in the control theory field.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
