Formal Methods for Discrete-Time Dynamical Systems Más libros de Calin Belta, Boyan Yordanov & Ebru Aydin Gol

Adaptive and Learning-Based Control of Safety-Critical Systems Adaptive and Learning-Based Control of Safety-Critical Systems
2023
Safe Autonomy with Control Barrier Functions Safe Autonomy with Control Barrier Functions
2023