Control Barrier Functions and Safety

Outline
00:00 - Intro
03:12 - Early life
09:07 - St. Petersburg: Stability of Ellipsoidal Bodies
20:13 - Kharkov: The General Problem of the Stability of Motion
34:37 - Back to St. Petersburg: Probability & Academy
46:22 - Tragic end
49:50 - Posthumous recognition 
57:49 - Legacy
1:20:39 - Outro

Links
A. M. Lyapunov: https://tinyurl.com/3kjuhfns
S. Lyapunov: https://tinyurl.com/mury7p3s
Smirnov's bio: https://tinyurl.com/6wpffh3z
Bissell's essay: https://tinyurl.com/3ds3hubj
Sechenov: https://tinyurl.com/ypsr37vc
Krylov: https://tinyurl.com/44wez8w5
Krylov subspace: https://tinyurl.com/bw527uh2
Chebyshev: https://tinyurl.com/2n35usfr
The General Problem of Stability of Motion: https://tinyurl.com/mv2jchv2
Lyapunov stability: https://tinyurl.com/bb59vcuf
Central limit theorem: https://tinyurl.com/3r36p458
Van der Pol oscillator: https://tinyurl.com/3s68yyhr
Massera’s theorem: https://tinyurl.com/2zjmtvjw
LaSalle’s invariance principle: https://tinyurl.com/pjnrp3fh
Krasovskii: https://tinyurl.com/junbujsw
Popov criterion: https://tinyurl.com/uyt3kx5b
Control Lyapunov function: https://tinyurl.com/3v7bnusj
Artstein–Sontag formula: https://tinyurl.com/3fdebmm3
Input-to-state stability: https://tinyurl.com/3nca9nj6
Lyapunov equation: https://tinyurl.com/mvakw3yw
Hybrid systems: https://tinyurl.com/v39up6wk
Control barrier function: https://tinyurl.com/sy4p5jj
Dominance theory: https://tinyurl.com/msvnd4dv

Support the show

Podcast info
Podcast website: https://www.incontrolpodcast.com/
Apple Podcasts: https://tinyurl.com/5n84j85j
Spotify: https://tinyurl.com/4rwztj3c
RSS: https://tinyurl.com/yc2fcv4y
Youtube: https://tinyurl.com/bdbvhsj6
Facebook: https://tinyurl.com/3z24yr43
Twitter: https://twitter.com/IncontrolP
Instagram: https://tinyurl.com/35cu4kr4

Acknowledgments and sponsors
This episode was supported by the National Centre of Competence in Research on «Dependable, ubiquitous automation» and the IFAC Activity fund. The podcast benefits from the help of an incredibly talented and passionate team. Special thanks to L. Seward, E. Cahard, F. Banis, F. Dörfler, J. Lygeros, ETH studio and mirrorlake . Music was composed by A New Element.