Safety verification and controller synthesis for systems with input constraints
In this paper we consider the safety verification and safe controller synthesis for nonlinear control systems. The Control Barrier Certificates (CBC) approach is proposed as an extension to the barrier certificates approach. Our approach can be used to characterize control invariance of a given set...
| Main Authors: | , , |
|---|---|
| 格式: | Conference item |
| 語言: | English |
| 出版: |
Elsevier
2023
|