Eric Goubault

Affiliations:
  • École Polytechnique, Palaiseau, France


According to our database1, Eric Goubault authored at least 115 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.
Eng. Appl. Artif. Intell., January, 2024

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.
IEEE Trans. Autom. Control., August, 2023

Simplicial Models for the Epistemic Logic of Faulty Agents.
CoRR, 2023

Guaranteed approximations of arbitrarily quantified reachability problems.
CoRR, 2023

Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane.
CoRR, 2023

A semi-abelian approach to directed homology.
CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.
LICS, 2023

2022
Algebraic coherent confluence and higher globular Kleene algebras.
Log. Methods Comput. Sci., 2022

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.
IEEE Control. Syst. Lett., 2022

A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.
J. Log. Algebraic Methods Program., 2021

A topological method for finding invariant sets of continuous systems.
Inf. Comput., 2021

A Simplicial Model for KB4<sub>n</sub>: Epistemic Logic with Agents that May Die.
CoRR, 2021

Neural Network Based Model Predictive Control for an Autonomous Vehicle.
CoRR, 2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.
Proceedings of the Static Analysis - 28th International Symposium, 2021

A few lessons learned in reinforcement learning for quadcopter attitude control.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

On-The-Fly Control of Unknown Smooth Systems from Limited Data.
Proceedings of the 2021 American Control Conference, 2021

Tractable higher-order under-approximating AE extensions for non-linear systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Abstract Strategies and Coherence.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Directed Homotopy in Non-Positively Curved Spaces.
Log. Methods Comput. Sci., 2020

Directed topological complexity.
J. Appl. Comput. Topol., 2020

Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances.
IEEE Control. Syst. Lett., 2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras.
CoRR, 2020

Knowledge and simplicial complexes.
CoRR, 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019
Wait-Free Solvability of Equality Negation Tasks.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019

A Dynamic Epistemic Logic Analysis of the Equality Negation Task.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Inner and outer reachability for the verification of control systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018
Discrete Choice in the Presence of Numerical Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Geometric and combinatorial views on asynchronous computability.
Distributed Comput., 2018

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Brief Announcement: On the Impossibility of Detecting Concurrency.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Concurrent Specifications Beyond Linearizability.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).
Proceedings of the Joint Proceedings of the CME-EI, 2018

Inner and Outer Approximating Flowpipes for Delay Differential Equations.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.
ACM Trans. Embed. Comput. Syst., 2017

On directed homotopy equivalences and a notion of directed topological complexity.
CoRR, 2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Models of fault-tolerant distributed computation via dynamic epistemic logic.
CoRR, 2017

A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing.
CoRR, 2017

Directed Homology Theories and Eilenberg-Steenrod Axioms.
Appl. Categorical Struct., 2017

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.
ACM Trans. Embed. Comput. Syst., 2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

A Topological Method for Finding Invariant Sets of Switched Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Recovering High-Level Conditions from Binary Programs.
Proceedings of the FM 2016: Formal Methods, 2016

The Directed Homotopy Hypothesis.
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Bisimulations and Unfolding in P-Accessible Categorical Models.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Directed Algebraic Topology and Concurrency
Springer, ISBN: 978-3-319-15398-8, 2016

2015
A zonotopic framework for functional abstractions.
Formal Methods Syst. Des., 2015

Iterated Chromatic Subdivisions are Collapsible.
Appl. Categorical Struct., 2015

From Geometric Semantics to Asynchronous Computability.
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Natural Homology.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
Inner approximated reachability analysis.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.
Proceedings of the American Control Conference, 2014

2013
General Inner Approximation of Vector-valued Functions.
Reliab. Comput., 2013

A Geometric View of Partial Order Reduction.
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs.
Discret. Comput. Geom., 2013

Static Analysis of Programs with Imprecise Probabilistic Inputs.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Robustness Analysis of Finite Precision Implementations.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Editorial: Special Section VCPSS'09.
ACM Trans. Embed. Comput. Syst., 2012

Abstract interpretation meets convex optimization.
J. Symb. Comput., 2012

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Log. Methods Comput. Sci., 2012

A generalization of p-boxes to affine arithmetic.
Computing, 2012

Modular Static Analysis with Zonotopes.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.
Proceedings of the Programming Languages and Systems, 2012

Design of fixed-point embedded systems (DEFIS) French ANR project.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011
Foreword.
Math. Comput. Sci., 2011

Static Analysis of Finite Precision Computations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Policy Iteration within Logico-Numerical Abstract Domains.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach.
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Formal Relationships Between Geometrical and Classical Models for Concurrency.
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

Future Path-components in Directed Topology.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Preface.
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

The Tropical Double Description Method.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

A Logical Product Approach to Zonotope Intersection.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

The Zonotope Abstract Domain Taylor1+.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Perturbed affine arithmetic for invariant computation in numerical program analysis
CoRR, 2008

Inferring Min and Max Invariants Using Max-Plus Polyhedra.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
Components of the Fundamental Category II.
Appl. Categorical Struct., 2007

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Static Analysis by Policy Iteration on Relational Domains.
Proceedings of the Programming Languages and Systems, 2007

2006
Algebraic topology and concurrency.
Theor. Comput. Sci., 2006

Static Analysis of Numerical Algorithms.
Proceedings of the Static Analysis, 13th International Symposium, 2006

2005
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Components of the Fundamental Category.
Appl. Categorical Struct., 2004

2003
Preface.
Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

Static Analysis-Based Validation of Floating-Point Computations.
Proceedings of the Numerical Software with Result Verification, 2003

2002
Foreword.
Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

Dihomotopy as a Tool in State Space Analysis.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
Proceedings of the Programming Languages and Systems, 2002

2001
Static Analyses of the Precision of Floating-Point Operations.
Proceedings of the Static Analysis, 8th International Symposium, 2001

2000
Geometry and concurrency: a user's guide.
Math. Struct. Comput. Sci., 2000

Preface.
Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000

1998
Detecting Deadlocks in Concurrent Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Optimal Implementation of Wait-Free Binary Relations.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
Durations for Truly-Concurrent Transitions.
Proceedings of the Programming Languages and Systems, 1996

1995
Schedulers as Abstract Interpreter of Higher Dimensional Automata.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993
Semantics and Analysis of Linda-Based Languages.
Proceedings of the Static Analysis, Third International Workshop, 1993

Domains of Higher-Dimensional Automata.
Proceedings of the CONCUR '93, 1993

1992
Homology of Higher Dimensional Automata.
Proceedings of the CONCUR '92, 1992

1991
Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization.
Proceedings of the 1991 International Conference on Acoustics, 1991


  Loading...