Formal Methods for Discrete-Time Dynamical Systems المزيد من كتب 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
٢٠٢٣
Safe Autonomy with Control Barrier Functions Safe Autonomy with Control Barrier Functions
٢٠٢٣