no code implementations • 5 May 2023 • Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Temporal Logic} specification.
no code implementations • 14 Mar 2022 • Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
These results reveal the main differences and specificities of switched affine systems with respect to linear ones, providing a first step for the analysis of switched systems composed by subsystems not sharing the same equilibrium.
no code implementations • 23 Sep 2021 • Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphaël M. Jungers
We consider discrete-time switching systems composed of a finite family of affine sub-dynamics.