Reach set computation using optimal control (1998) [23 citations — 3 self]
Download:
|
|
by Pravin Varaiya
Proc. KIT Workshop
http://arpont.imag.fr/TEMPORISE/school98/papers/varaiya.ps.gz
Add To MetaCart
Abstract:
Reach set computation is a basic component of many verification and control synthesis procedures. Effective computation schemes are available for discrete systems described by finite state machines and continuous-variable systems described by linear differential inequalities. This paper suggests an approach based on the Pontryagin maximum principle of optimal control theory. The approach is elaborated for linear systems, and it may prove useful for more general continuous-variable systems. 1
Citations
| 81 | HyTech: The Cornell HYbrid TECHnology Tool – Henzinger, Ho - 1995 |
| 17 | Ellipsoidal Calculus for Estimation and Control – Vályi |
| 8 | ffl-approximation of differential inclusions – Puri, Varaiya, et al. - 1995 |
| 4 | et al. The Mathematical Theory of Optimal Processes – Pontryagin - 1962 |
