2 papers
eess.SY2024
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas
This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global cont…
math.OC2022
An Efficient Method to Verify the Inclusion of Ellipsoids
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
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 parti…