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...
| मुख्य लेखकों: | , , |
|---|---|
| स्वरूप: | Conference item |
| भाषा: | English |
| प्रकाशित: |
Elsevier
2023
|