Scalable techniques for the computation of viable and reachable sets : safety guarantees for high-dimensional linear time-invariant systems
Reachability analysis and viability theory are key in providing guarantees of safety and proving the existence of safety-preserving controllers for constrained dynamical systems. The minimal reachable tube and (by duality) the viability kernel are the only constructs that can be used for this purpos...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2012
|
| Online Access: | http://hdl.handle.net/2429/42856 |