19 citations · 25 across the 3 of their papers we have counts for
4 papers
Controlled Recurrence of a Biped with Torso
Adrien Le Coënt, Laurent Fribourg
We have recently used a symbolic reachability method for controlling the stability of special hybrid systems called 'sampled switched systems'. We show here how the method can be e…
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants
Adrien Le Coënt, Laurent Fribourg
In this paper, we propose a new method for ensuring formally that a controlled trajectory stay inside a given safety set S for a given duration T. Using a finite gridding X of S, w…
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin +1
In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approxi…
Distributed Synthesis of State-Dependent Switching Control
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey +2
We present a correct-by-design method of state-dependent control synthesis for linear discrete-time switching systems. Given an objective region R of the state space, the method bu…