Laurent Fribourg

136 papers A* 6A 6B 10C 10Journal 43Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	MPC surrogates based on supervised or unsupervised learning for the real-time control of nonlinear systems. IFAC J. Syst. Control. Daniel Martin Xavier, Ludovic Chamoin, Laurent Fribourg
2025	—	`conf`	Data-driven MPC for Real-time Control of an Open-die Forging Problem. ECC Daniel Martin Xavier, Ludovic Chamoin, Laurent Fribourg
2025	C	`conf`	Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity. ACC Daniel M. Xavier, Ludovic Chamoin, Laurent Fribourg
2024	J	`jnl`	Data-Driven Models of Monotone Systems. IEEE Trans. Autom. Control. Anas Makdesi, Antoine Girard, Laurent Fribourg
2024	J	`jnl`	One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity. CoRR Daniel M. Xavier, Ludovic Chamoin, Jawher Jerray, Laurent Fribourg
2024	—	`conf`	Online Learning for Safe Model Predictive Control with the Compatible Models Approach. ADHS Anas Makdesi, Antoine Girard, Laurent Fribourg
2023	J	`jnl`	Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures. CoRR Jawher Jerray, Laurent Fribourg
2023	J	`jnl`	Safe learning-based model predictive control using the compatible models approach. Eur. J. Control Anas Makdesi, Antoine Girard, Laurent Fribourg
2023	J	`jnl`	Training and Generalization Errors for Underparameterized Neural Networks. IEEE Control. Syst. Lett. Daniel M. Xavier, Ludovic Chamoin, Laurent Fribourg
2022	J	`jnl`	Asymptotic error in Euler's method with a constant step size. Eur. J. Control Jawher Jerray, Adnane Saoud, Laurent Fribourg
2022	J	`jnl`	Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control. Syst. Lett. Jawher Jerray, Adnane Saoud, Laurent Fribourg
2021	J	`jnl`	A topological method for finding invariant sets of continuous systems. Inf. Comput. Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
2021	—	`conf`	An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS Jawher Jerray, Laurent Fribourg, Étienne André
2021	J	`jnl`	Assume-guarantee contracts for continuous-time systems. Autom. Adnane Saoud, Antoine Girard, Laurent Fribourg
2021	J	`jnl`	Constructing invariant tori using guaranteed Euler method. CoRR Jawher Jerray, Laurent Fribourg
2021	J	`jnl`	Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Trans. Autom. Control. Adnane Saoud, Antoine Girard, Laurent Fribourg
2021	—	`conf`	Data-Driven Abstraction of Monotone Systems. L4DC Anas Makdesi, Antoine Girard, Laurent Fribourg
2021	—	`conf`	Determination of limit cycles using stroboscopic set-valued maps. ADHS Jawher Jerray, Laurent Fribourg
2021	—	`conf`	Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. ADHS Anas Makdesi, Antoine Girard, Laurent Fribourg
2021	C	`conf`	Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion. ACC Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg
2021	J	`jnl`	Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021	J	`jnl`	Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021	C	`conf`	Robust optimal periodic control using guaranteed Euler's method. ACC Jawher Jerray, Laurent Fribourg, Étienne André
2021	J	`jnl`	Robust optimal periodic control using guaranteed Euler's method. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2020	J	`jnl`	Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems. CoRR Jawher Jerray, Laurent Fribourg
2020	—	`conf`	Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH Jawher Jerray, Laurent Fribourg, Étienne André
2020	J	`jnl`	Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2020	—	`ed.`	Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. VPT/HCVS@ETAPS Laurent Fribourg, Matthias Heizmann
2020	J	`jnl`	Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2019	—	`conf`	A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
2019	J	`jnl`	Controlled Recurrence of a Biped with Torso. CoRR Adrien Le Coënt, Laurent Fribourg
2019	—	`conf`	Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CDC Adrien Le Coënt, Laurent Fribourg
2019	J	`jnl`	Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CoRR Adrien Le Coënt, Laurent Fribourg
2019	—	`conf`	Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. CyPhy/WESE Adrien Le Coënt, Laurent Fribourg
2019	J	`jnl`	Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction. CoRR Adrien Le Coënt, Laurent Fribourg
2019	C	`conf`	LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. DSD Jean-Luc Danger, Laurent Fribourg, Ulrich Kühne, Maha Naceur
2019	—	`conf`	Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019	J	`jnl`	Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019	B	`conf`	Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
2018	J	`jnl`	An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2018	J	`jnl`	Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2018	—	`conf`	Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. CDC Adnane Saoud, Antoine Girard, Laurent Fribourg
2018	—	`conf`	Contract based Design of Symbolic Controllers for Vehicle Platooning. HSCC Adnane Saoud, Antoine Girard, Laurent Fribourg
2018	—	`conf`	Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. ADHS Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher
2018	—	`conf`	Controlled Recurrence of a Biped with Torso. CyPhy/WESE Adrien Le Coënt, Laurent Fribourg
2018	—	`conf`	On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. ECC Adnane Saoud, Antoine Girard, Laurent Fribourg
2018	J	`jnl`	Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
2017	—	`conf`	Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. SNR@ETAPS Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg
2017	—	`conf`	Distributed Control Synthesis Using Euler's Method. RP Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
2017	—	`conf`	Euler's Method Applied to the Control of Switched Systems. FORMATS Laurent Fribourg
2016	—	`conf`	A Topological Method for Finding Invariant Sets of Switched Systems. HSCC Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed
2016	—	`conf`	Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP Adrien Le Coënt, Laurent Fribourg, Romain Soulat
2016	J	`jnl`	Control of nonlinear switched systems based on validated simulation. CoRR Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2016	—	`conf`	Distributed Synthesis of State-Dependent Switching Control. RP Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2016	J	`jnl`	Distributed Synthesis of State-Dependent Switching Control. CoRR Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2015	—	`conf`	A Topological Method for Finding Invariant Sets of Continuous Systems. RP Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
2015	—	`conf`	Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP Laurent Fribourg, Ulrich Kühne, Nicolas Markey
2015	—	`conf`	Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg
2014	B	`conf`	Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
2014	—	`conf`	Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. FSFMA Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat
2014	J	`jnl`	Finite controlled invariants for sampled switched systems. Formal Methods Syst. Des. Laurent Fribourg, Ulrich Kühne, Romain Soulat
2014	—	`conf`	Toward Parametric Timed Interfaces for Real-Time Components. SynCoP Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013	J	`jnl`	An extension of the inverse method to probabilistic timed automata. Formal Methods Syst. Des. Étienne André, Laurent Fribourg, Jeremy Sproston
2013	—	`conf`	Constructing Attractors of Nonlinear Dynamical Systems. FSFMA Laurent Fribourg, Ulrich Kühne, Romain Soulat
2013	—	`conf`	Control of Switching Systems by Invariance Analysis (Invited Talk). FSFMA Laurent Fribourg
2013	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings FORMATS Víctor A. Braberman, Laurent Fribourg
2013	B	`conf`	Merge and Conquer: State Merging in Parametric Timed Automata. ATVA Étienne André, Laurent Fribourg, Romain Soulat
2013	J	`jnl`	Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems CoRR Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013	—	`conf`	Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013	J	`jnl`	Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method. Int. J. Found. Comput. Sci. Laurent Fribourg, Ulrich Kühne
2013	—	`conf`	Stability Controllers for Sampled Switched Systems. RP Laurent Fribourg, Romain Soulat
2012	—	`conf`	Enhancing the Inverse Method with State Merging. NASA Formal Methods Étienne André, Laurent Fribourg, Romain Soulat
2012	B	`conf`	IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
2012	C	`conf`	Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
2011	—	`conf`	Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method. RP Laurent Fribourg, Ulrich Kühne
2011	—	`conf`	Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems INFINITY Laurent Fribourg, Bertrand Revol, Romain Soulat
2010	—	`conf`	Behavioral Cartography of Timed Automata. RP Étienne André, Laurent Fribourg
2009	J	`jnl`	An Extension of the Inverse Method to Probabilistic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Étienne André, Laurent Fribourg, Jeremy Sproston
2009	J	`jnl`	An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
2009	—	`conf`	An Inverse Method for Policy-Iteration Based Algorithms INFINITY Laurent Fribourg, Étienne André
2009	J	`jnl`	Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods Syst. Des. Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
2008	—	`conf`	An Inverse Method for Parametric Timed Automata. RP Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
2008	—	`conf`	Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
2006	J	`jnl`	Coupling and self-stabilization. Distributed Comput. Laurent Fribourg, Stéphane Messika, Claudine Picaronny
2006	—	`conf`	Time Separation of Events: An Inverse Method. LIX Emmanuelle Encrenaz, Laurent Fribourg
2006	—	`conf`	Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
2005	A*	`conf`	Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. PODC Laurent Fribourg, Stéphane Messika
2004	A	`conf`	Coupling and Self-stabilization.. DISC Laurent Fribourg, Stéphane Messika, Claudine Picaronny
2004	—	`conf`	Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. AVoCS Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
2004	J	`jnl`	Randomized dining philosophers without fairness assumption. Distributed Comput. Marie Duflot, Laurent Fribourg, Claudine Picaronny
2003	J	`jnl`	Compared Study of Two Correctness Proofs for the Standardized. Formal Methods Syst. Des. Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
2002	—	`conf`	Randomized Dining Philosophers without Fairness Assumption. IFIP TCS Marie Duflot, Laurent Fribourg, Claudine Picaronny
2001	B	`ed.`	Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings CSL Laurent Fribourg
2001	J	`jnl`	Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. Distributed Comput. Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette
2001	A	`conf`	Randomized Finite-State Distributed Algorithms as Markov Chains. DISC Marie Duflot, Laurent Fribourg, Claudine Picaronny
2001	B	`conf`	Unavoidable Configurations of Parameterized Rings of Processes. CONCUR Marie Duflot, Laurent Fribourg, Ulf Nilsson
2000	—	`conf`	Petri Nets, Flat Languages and Linear Arithmetic. WFLP Laurent Fribourg
1999	A	`conf`	A New Rewrite Method for Convergence of Self-Stabilizing Systems. DISC Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg
1999	A*	`conf`	Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. CAV Béatrice Bérard, Laurent Fribourg
1999	C	`conf`	Constraint Logic Programming Applied to Model Checking. LOPSTR Laurent Fribourg
1999	B	`conf`	Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. CONCUR Béatrice Bérard, Laurent Fribourg
1998	B	`conf`	Unfolding Parametric Automata. LATIN Marcos Veloso Peixoto, Laurent Fribourg
1997	J	`jnl`	A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. Constraints An Int. J. Laurent Fribourg, Hans Olsén
1997	B	`conf`	Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. CONCUR Laurent Fribourg, Hans Olsén
1997	—	`conf`	Reachability sets of parameterized rings as regular languages. INFINITY Laurent Fribourg, Hans Olsén
1996	C	`conf`	Reductions of Petri Nets and Unfolding of Propositional Logic Programs. LOPSTR Laurent Fribourg, Hans Olsén
1996	C	`conf`	Symbolic Verification with Gap-Order Constraints. LOPSTR Laurent Fribourg, Julian Richardson
1994	—	`conf`	Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. ILPS Workshop: Constraints and Databases Laurent Fribourg, Marcos Veloso Peixoto
1994	A	`conf`	Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE Laurent Fribourg, Marcos Veloso Peixoto
1994	C	`ed.`	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings LOPSTR/META Laurent Fribourg, Franco Turini
1993	—	`conf`	Concurrent Constraint Automata. ILPS Laurent Fribourg, Marcos Veloso Peixoto
1992	C	`conf`	A Unifying View of Structural Induction and Computation Induction for Logic Programs. LOPSTR Laurent Fribourg, Hans Olsén
1992	A*	`conf`	Mixing List Recursion and Arithmetic LICS Laurent Fribourg
1991	—	`conf`	A Survey of the Implementations of Narrowing. Declarative Programming P. H. Cheong, Laurent Fribourg
1991	—	`conf`	Automatic Generation of Simplification Lemmas for Inductive Proofs. ISLP Laurent Fribourg
1991	—	`conf`	Efficient Integration of Simplifications into Prolog. PLILP P. H. Cheong, Laurent Fribourg
1991	—	`conf`	Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP Workshop on Construction of Logic Programs Laurent Fribourg
1990	—	`conf`	A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. PLILP Laurent Fribourg
1990	B	`conf`	Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP Laurent Fribourg
1989	J	`jnl`	A Strong Restriction of the Inductive Completion Procedure. J. Symb. Comput. Laurent Fribourg
1988	—	`conf`	Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. ICLP/SLP Laurent Fribourg
1988	—	`conf`	Functional Extensions to Prolog: Are they Needed? ALP Laurent Fribourg
1987	—	`conf`	List concatenation via extended unification. SPLT Laurent Fribourg
1987	—	`conf`	On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. CTRS Laurent Fribourg
1987	A	`conf`	SLOG: A Logic Interpreter for Equational Clauses. STACS Laurent Fribourg
1986	A*	`conf`	A Strong Restriction of the Inductive Completion Procedure. ICALP Laurent Fribourg
1986	J	`jnl`	Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
1985	J	`jnl`	A Superposition Oriented Theorem Prover. Theor. Comput. Sci. Laurent Fribourg
1985	—	`conf`	Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
1985	—	`conf`	Handling Function Definitions through Innermost Superposition and Rewriting. RTA Laurent Fribourg
1985	—	`conf`	Runnable protocol specifications using the logic interpreter SLOG. PSTV N. Choquet, Laurent Fribourg, Anne Mauboussin
1985	—	`conf`	SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. SLP Laurent Fribourg
1984	A	`conf`	A Narrowing Procedure for Theories with Constructors. CADE Laurent Fribourg
1984	A*	`conf`	Oriented Equational Clauses as a Programming Language. ICALP Laurent Fribourg
1984	J	`jnl`	Oriented Equational Clauses as a Programming Language. J. Log. Program. Laurent Fribourg
1983	A*	`conf`	A Superposition Oriented Theorem Prover. IJCAI Laurent Fribourg