54 citations · 312 across the 36 of their papers we have counts for
4 papers · 1 filter
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…
Algebraic coherent confluence and higher globular Kleene algebras
Cameron Calk, Eric Goubault, Philippe Malbos +1
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleen…
Knowledge and simplicial complexes
Hans van Ditmarsch, Eric Goubault, Jeremy Ledent +1
Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic mode…