19 citations · 59 across the 20 of their papers we have counts for
21 papers
Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures
Jawher Jerray, Laurent Fribourg
Methods based on "(Jacobian) matrix measure" to show the convergence of a dynamical system to a limit cycle (LC), generally assume that the measure is negative everywhere on the LC…
The AGN fuelling/feedback cycle in nearby radio galaxies -- IV. Molecular gas conditions and jet-ISM interaction in NGC3100
I. Ruffa, I. Prandoni, T. A. Davis +5
This is the fourth paper of a series investigating the AGN fuelling/feedback processes in a sample of eleven nearby low-excitation radio galaxies (LERGs). In this paper we present…
Constructing invariant tori using guaranteed Euler method
Jawher Jerray, Laurent Fribourg
We show here how, using Euler's integration method and an associated function bounding the error in function of time, one can generate structures closely surrounding the invariant…
Robust optimal periodic control using guaranteed Euler's method
Jawher Jerray, Laurent Fribourg, Étienne André
In this paper, we consider the application of optimal periodic control sequences to switched dynamical systems. The control sequence is obtained using a finite-horizon optimal meth…
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems
Jawher Jerray, Laurent Fribourg
A method is given for generating a bounded invariant of a differential system with a given set of initial conditions around a point . This invariant has the form of a tube cen…
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde…
Robust optimal control using dynamic programming and guaranteed Euler's method
Jawher Jerray, Laurent Fribourg, Étienne André
Set-based integration methods allow to prove properties of differential systems, which take into account bounded disturbances. The systems (either time-discrete, time-continuous or…
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples
Jawher Jerray, Laurent Fribourg, Étienne André
The phenomenon of phase synchronization was evidenced in the 17th century by Huygens while observing two pendulums of clocks leaning against the same wall. This phenomenon has more…
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction
Adrien Le Coënt, Laurent Fribourg
We show that, for any spatially discretized system of reaction-diffusion, the approximate solution given by the explicit Euler time-discretization scheme converges to the exact tim…
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…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…
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…
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
Étienne André, Laurent Fribourg, Jean-Marc Mota +1
The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed…
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…
Control of nonlinear switched systems based on validated simulation
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot +1
We present an algorithm of control synthesis for nonlinear switched systems, based on an existing procedure of state-space bisection and made available for nonlinear systems with t…
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…
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition
Gilles Feld, Laurent Fribourg, Denis Labrousse +2
High-power converters based on elementary switching cells are more and more used in the industry of power electronics owing to various advantages such as lower voltage stress and r…
Toward Parametric Timed Interfaces for Real-Time Components
Youcheng Sun, Giuseppe Lipari, Étienne André +1
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
Youcheng Sun, Romain Soulat, Giuseppe Lipari +2
Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the syste…
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems
Laurent Fribourg, Bertrand Revol, Romain Soulat
We consider here systems with piecewise linear dynamics that are periodically sampled with a given period τ . At each sampling time, the mode of the system, i.e., the parameters of…
An Inverse Method for Policy-Iteration Based Algorithms
Laurent Fribourg, Etienne André
We present an extension of two policy-iteration based algorithms on weighted graphs (viz., Markov Decision Problems and Max-Plus Algebras). This extension allows us to solve the fo…