Télécharger le livre :  Adaptive and Learning-Based Control of Safety-Critical Systems

This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems.  Safety is critical to many applications, such as autonomous driving, air traffic...
Editeur : Springer
Parution : 2023-05-15
Collection : Synthesis Lectures on Computer Science
Format(s) : PDF, ePub
63,29

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Safe Autonomy with Control Barrier Functions

This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on...
Editeur : Springer
Parution : 2023-05-09

Format(s) : PDF, ePub
63,29

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Formal Methods for Discrete-Time Dynamical Systems

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is...
Editeur : Springer
Parution : 2017-03-08
Collection : Studies in Systems, Decision and Control
Format(s) : PDF, ePub
168,79

Téléchargement immédiat
Dès validation de votre commande