On Analysis and Synthesis of Safe Control Laws
Författare
Summary, in English
Controller synthesis for nonlinear systems is considered with the following objective: No trajectory starting from a given set of initial states is allowed to enter into a given set of forbidden (unsafe) states. A methodology for safety verification using barrier certificates has recently been proposed. Here it is shown how a safe control law together with a corresponding barrier certificate can be computated by means of convex optimization. A basic tool is thetheory for density functions in analysis of nonlinear systems.Computational examples are considered.
Avdelning/ar
Publiceringsår
2004
Språk
Engelska
Publikation/Tidskrift/Serie
Proceedings of the Allerton Conference on Communication, Control, and Computing
Fulltext
- Available as PDF - 475 kB
- Download statistics
Länkar
Dokumenttyp
Konferensbidrag
Ämne
- Control Engineering
Status
Published