Laurent Fribourg

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 49

Top Venues

CoRR

ADHS

SynCoP

Publications

Anas Makdesi, Antoine Girard, Laurent Fribourg
Data-Driven Models of Monotone Systems. IEEE Trans. Autom. Control. 69 (8) (2024)
Anas Makdesi, Antoine Girard, Laurent Fribourg
Safe learning-based model predictive control using the compatible models approach. Eur. J. Control 74 (2023)
Jawher Jerray, Laurent Fribourg
Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures. CoRR (2023)
Daniel M. Xavier, Ludovic Chamoin, Laurent Fribourg
Training and Generalization Errors for Underparameterized Neural Networks. IEEE Control. Syst. Lett. 7 (2023)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Asymptotic error in Euler's method with a constant step size. Eur. J. Control 68 (2022)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Jawher Jerray, Laurent Fribourg
Constructing invariant tori using guaranteed Euler method. CoRR (2021)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Trans. Autom. Control. 66 (3) (2021)
Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion. ACC (2021)
Anas Makdesi, Antoine Girard, Laurent Fribourg
Data-Driven Abstraction of Monotone Systems. L4DC (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS (2021)
Anas Makdesi, Antoine Girard, Laurent Fribourg
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. ADHS (2021)
Jawher Jerray, Laurent Fribourg
Determination of limit cycles using stroboscopic set-valued maps. ADHS (2021)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A topological method for finding invariant sets of continuous systems. Inf. Comput. 277 (2021)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Assume-guarantee contracts for continuous-time systems. Autom. 134 (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. CoRR (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae 182 (1) (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. ACC (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR (2020)
Jawher Jerray, Laurent Fribourg
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems. CoRR (2020)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CoRR (2019)
Jean-Luc Danger, Laurent Fribourg, Ulrich Kühne, Maha Naceur
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. DSD (2019)
Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction. CoRR (2019)
Adrien Le Coënt, Laurent Fribourg
Controlled Recurrence of a Biped with Torso. CoRR (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. CyPhy/WESE (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2019)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CDC (2019)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract based Design of Symbolic Controllers for Vehicle Platooning. HSCC (2018)
Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. ADHS (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. ECC (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. CDC (2018)
Adrien Le Coënt, Laurent Fribourg
Controlled Recurrence of a Biped with Torso. CyPhy/WESE (2018)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750 (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53 (3) (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
Distributed Control Synthesis Using Euler's Method. RP (2017)
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. SNR@ETAPS (2017)
Laurent Fribourg
Euler's Method Applied to the Control of Switched Systems. FORMATS (2017)
Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC (2016)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. RP (2016)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Control of nonlinear switched systems based on validated simulation. CoRR (2016)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. CoRR (2016)
Adrien Le Coënt, Laurent Fribourg, Romain Soulat
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP (2016)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A Topological Method for Finding Invariant Sets of Continuous Systems. RP (2015)
Laurent Fribourg, Ulrich Kühne, Nicolas Markey
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP (2015)
Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg
Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP (2015)
Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg
Toward Parametric Timed Interfaces for Real-Time Components. SynCoP (2014)
Laurent Fribourg, Ulrich Kühne, Romain Soulat
Finite controlled invariants for sampled switched systems. Formal Methods Syst. Des. 45 (3) (2014)
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA (2014)
Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. FSFMA (2014)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems CoRR (2013)
Étienne André, Laurent Fribourg, Romain Soulat
Merge and Conquer: State Merging in Parametric Timed Automata. ATVA (2013)
Laurent Fribourg, Romain Soulat
Stability Controllers for Sampled Switched Systems. RP (2013)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS (2013)
Étienne André, Laurent Fribourg, Jeremy Sproston
An extension of the inverse method to probabilistic timed automata. Formal Methods Syst. Des. 42 (2) (2013)
Laurent Fribourg, Ulrich Kühne, Romain Soulat
Constructing Attractors of Nonlinear Dynamical Systems. FSFMA (2013)
Laurent Fribourg
Control of Switching Systems by Invariance Analysis (Invited Talk). FSFMA (2013)
Laurent Fribourg, Ulrich Kühne
Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method. Int. J. Found. Comput. Sci. 24 (2) (2013)
Étienne André, Laurent Fribourg, Romain Soulat
Enhancing the Inverse Method with State Merging. NASA Formal Methods (2012)
Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM (2012)
Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME (2012)
Laurent Fribourg, Bertrand Revol, Romain Soulat
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems INFINITY (2011)
Laurent Fribourg, Ulrich Kühne
Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method. RP (2011)
Étienne André, Laurent Fribourg
Behavioral Cartography of Timed Automata. RP (2010)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20 (5) (2009)
Laurent Fribourg, Étienne André
An Inverse Method for Policy-Iteration Based Algorithms INFINITY (2009)
Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods Syst. Des. 34 (1) (2009)
Étienne André, Laurent Fribourg, Jeremy Sproston
An Extension of the Inverse Method to Probabilistic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Emmanuelle Encrenaz, Laurent Fribourg
Time Separation of Events: An Inverse Method. Electron. Notes Theor. Comput. Sci. 209 (2008)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Electron. Notes Theor. Comput. Sci. 223 (2008)
Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST (2008)
Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS (2006)
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
Coupling and self-stabilization. Distributed Comput. 18 (3) (2006)
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Laurent Fribourg, Stéphane Messika
Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. PODC (2005)
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
Coupling and Self-stabilization.. DISC (2004)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized dining philosophers without fairness assumption. Distributed Comput. 17 (1) (2004)
Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
Compared Study of Two Correctness Proofs for the Standardized. Formal Methods Syst. Des. 22 (1) (2003)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Dining Philosophers without Fairness Assumption. IFIP TCS (2002)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Finite-State Distributed Algorithms as Markov Chains. DISC (2001)
Marie Duflot, Laurent Fribourg, Ulf Nilsson
Unavoidable Configurations of Parameterized Rings of Processes. CONCUR (2001)
Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. Distributed Comput. 14 (2) (2001)
Laurent Fribourg
Petri Nets, Flat Languages and Linear Arithmetic. WFLP (2000)
Béatrice Bérard, Laurent Fribourg
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. CONCUR (1999)
Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg
A New Rewrite Method for Convergence of Self-Stabilizing Systems. DISC (1999)
Laurent Fribourg
Constraint Logic Programming Applied to Model Checking. LOPSTR (1999)
Béatrice Bérard, Laurent Fribourg
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. CAV (1999)
Marcos Veloso Peixoto, Laurent Fribourg
Unfolding Parametric Automata. LATIN (1998)
Laurent Fribourg, Hans Olsén
Reachability sets of parameterized rings as regular languages. INFINITY (1997)
Laurent Fribourg, Hans Olsén
A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. Constraints An Int. J. 2 (3/4) (1997)
Laurent Fribourg, Hans Olsén
Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. CONCUR (1997)
Laurent Fribourg, Julian Richardson
Symbolic Verification with Gap-Order Constraints. LOPSTR (1996)
Laurent Fribourg, Hans Olsén
Reductions of Petri Nets and Unfolding of Propositional Logic Programs. LOPSTR (1996)
Laurent Fribourg, Marcos Veloso Peixoto
Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE (1994)

Laurent Fribourg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laurent Fribourg