activity
20012026
most citedComputing the vertices of tropical polyhedra using directed hypergraphs

54 citations · 312 across the 36 of their papers we have counts for

collaborators
Showing 2021Show all

6 papers · 1 filter

math.DS2021

Solving N-player dynamic routing games with congestion: a mean field approach

Theophile Cabannes, Mathieu Lauriere, Julien Perolat +7

The recent emergence of navigational tools has changed traffic patterns and has now enabled new types of congestion-aware routing control like dynamic road pricing. Using the funda…

cs.LG2021★ 7 cited

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling

Franck Djeumou, Cyrus Neary, Eric Goubault +2

Effective inclusion of physics-based knowledge into deep neural network models of dynamical systems can greatly improve data efficiency and generalization. Such a-priori knowledge…

cs.LG2021

Static analysis of ReLU neural networks with tropical polyhedra

Eric Goubault, Sébastien Palumby, Sylvie Putot +2

This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…

cs.RO2021★ 4 cited

Neural Network Based Model Predictive Control for an Autonomous Vehicle

Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot

We study learning based controllers as a replacement for model predictive controllers (MPC) for the control of autonomous vehicles. We concentrate for the experiments on the simple…

cs.AI2021

Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts

Nicola Bernini, Mikhail Bessa, Rémi Delmas +5

We explore the reinforcement learning approach to designing controllers by extensively discussing the case of a quadcopter attitude controller. We provide all details allowing to r…

eess.SY2021

Tractable higher-order under-approximating AE extensions for non-linear systems

Eric Goubault, Sylvie Putot

We consider the problem of under and over-approximating the image of general vector-valued functions over bounded sets, and apply the proposed solution to the estimation of reachab…