Browse the Catalog

Sort
Filter
Looking for a library? Show libraries matching your search.
cover image of Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for...

Studies in Systems, Decision and Control (Series)

Calin Belta Author
Boyan Yordanov Author
(2017)

cover image of Safe Autonomy with Control Barrier Functions

Safe Autonomy with Control...

Synthesis Lectures on Computer Science (Series)

Wei Xiao Author
Christos G. Cassandras Author
(2023)

cover image of Adaptive and Learning-Based Control of Safety-Critical Systems

Adaptive and Learning-Based...

Synthesis Lectures on Computer Science (Series)

Max Cohen Author
Calin Belta Author
(2023)