Télécharger le livre :  Adaptive and Learning-Based Control of Safety-Critical Systems
Ajouter à ma liste d'envies
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
PDF, ePub

63,29
Télécharger le livre :  Safe Autonomy with Control Barrier Functions
Ajouter à ma liste d'envies
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
Collection : Synthesis Lectures on Computer Science
PDF, ePub

63,29
Télécharger le livre :  Formal Methods for Discrete-Time Dynamical Systems
Ajouter à ma liste d'envies
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
PDF, ePub

168,79