In the preceding chapter, we discussed the fundamentals of Lyapunov theory, and how these ideas can be used to design controllers enforcing stability of dynamical systems. In the present chapter, we discuss how such ideas can be transposed to address the problem of safety. Informally, safety can be thought of as requiring a system to never do anything “bad.” This abstract notion is dependent on the application under consideration. For example, in autonomous driving, safety may correspond to an autonomous vehicle never leaving its current lane, whereas for a robot navigating in a cluttered environment, safety may correspond to avoiding collisions with obstacles. In this book, the notion of safety is linked to set invariance, in the sense that a system is safe if it never leaves a set deemed “good”. In the last chapter of the book (Chap. 9), we will briefly discuss the satisfaction of temporal logic formulas, which includes (is strictly more expressive than) safety, and is usually referred to as “correctness". Safety is defined in Sect. 3.1, before control barrier functions used to enforce it are introduced in Sects. 3.2 and 3.3. Final remarks, references, and suggestions for further reading are included in Sect. 3.4.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety-Critical Control


    Weitere Titelangaben:

    synth. Lectures on Computer sci.


    Beteiligte:
    Cohen, Max (Autor:in) / Belta, Calin (Autor:in)


    Erscheinungsdatum :

    16.05.2023


    Format / Umfang :

    28 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Adaptive Safety-Critical Control

    Cohen, Max / Belta, Calin | Springer Verlag | 2023


    CONTROL OF SAFETY CRITICAL OPERATIONS

    BENNETT SIMON GRANT / BELCHER NICHOLAS ANDREW / PARKER DAVID et al. | Europäisches Patentamt | 2019

    Freier Zugriff


    Control Safety Function for Explicit Safety-Critical Control of Autonomous Vehicles

    Kim, Dongyoon / Yang, Sen / Zou, Wenjun et al. | IEEE | 2024


    Safety critical systems control in autonomous vehicles

    BERELS DAVID JEFFEORY | Europäisches Patentamt | 2019

    Freier Zugriff