Abstract
The approximation of the continuous reachability operator associated with the supervisory target control problem is considered. The computation is performed using state space discretization and approximate forward reachability analysis. The scheme is applied to linear dynamics with affine disturbance and to nonlinear dynamics without disturbance. Implementation issues concerning computational efficiency are discussed. Keywords: hybrid systems, reachability analysis, supervisory control.
Original language | English |
---|---|
Pages | 1193-1198 |
Number of pages | 5 |
DOIs | |
Publication status | Published - Dec 2002 |
Event | 41st IEEE Conference on Decision and Control - Las Vegas, United States Duration: 10 Dec 2002 → 13 Dec 2002 |
Conference
Conference | 41st IEEE Conference on Decision and Control |
---|---|
Country/Territory | United States |
City | Las Vegas |
Period | 10/12/02 → 13/12/02 |
Keywords
- hybrid systems
- supervisory control
- reachabilit analysis
- approximate analysis
- supervisory target