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 b

A revolutionary new framework that draws on insights from ecology for the design and analysis of long-duration robots Robots are increasingly leaving the confin

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 202

Bipedal locomotion is among the most difficult challenges in control engineering. Most books treat the subject from a quasi-static perspective, overlooking the

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles be integrated into the current tra