54 citations · 312 across the 36 of their papers we have counts for
5 papers · 1 filter
Guaranteed approximations of arbitrarily quantified reachability problems
Eric Goubault, Sylvie Putot
We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for…
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…
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability
Franck Djeumou, Abraham P. Vinod, Eric Goubault +2
We develop data-driven algorithms for reachability analysis and control of systems with a priori unknown nonlinear dynamics. The resulting algorithms not only are suitable for sett…
On-The-Fly Control of Unknown Smooth Systems from Limited Data
Franck Djeumou, Abraham P. Vinod, Eric Goubault +2
We investigate the problem of data-driven, on-the-fly control of systems with unknown nonlinear dynamics where data from only a single finite-horizon trajectory and possibly side i…
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Benjamin Martin, Khalil Ghorbal, Eric Goubault +1
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…