Apr 27 – 30, 2026
Faculty of Economics and Management, Czech University of Life Sciences
Europe/Prague timezone

Deep Riemannian Control: Formally Verified Neural Observers and Controllers via Contraction Theory

Apr 27, 2026, 2:20 PM
20m
Accept as Oral presentation non-COST Machine Leaning for Control Theory SESSION III
Affiliation of the corresponding author Universite Paris-Saclay, Inria, CIAMS, Gif-sur-Yvette, 91190, France.
Keywords Contracing systems, nonlinear systems, observer design, output-feedback control, machine learning.
Preferred type of presentation Oral
Are you a member of COST Action CA24136? No, I am not
Are you applying for reimbursement? No, I am not applying for reimbursement

Author

Mohamed Boukaf (Université Paris Saclay)

Presentation materials

There are no materials yet.