Distributed safety verification for multi-agent systems
The control barrier function (CBF) framework is a powerful tool for safe controller design and safety analysis. Given a dynamical system and a CBF, the system is safe if the CBF-induced constraints are satisfied for every state inside an invariant set, which is a subset of the safe set. In this pape...
| Үндсэн зохиолчид: | , , |
|---|---|
| Формат: | Conference item |
| Хэл сонгох: | English |
| Хэвлэсэн: |
IEEE
2023
|