On reachability and minimum cost optimal control
Top Cited Papers
- 1 June 2004
- journal article
- Published by Elsevier in Automatica
- Vol. 40 (6) , 917-927
- https://doi.org/10.1016/j.automatica.2004.01.012
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Impulse differential inclusions: a viability approach to hybrid systemsIEEE Transactions on Automatic Control, 2002
- Safety verification of conflict resolution manoeuvresIEEE Transactions on Intelligent Transportation Systems, 2001
- Worst case analysis of nonlinear systemsIEEE Transactions on Automatic Control, 1999
- Verified hybrid controllers for automated vehiclesIEEE Transactions on Automatic Control, 1998
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- Differential games with maximum costNonlinear Analysis, 1990
- The Bellman equation for minimizing the maximum costNonlinear Analysis, 1989
- Viscosity solutions of Hamilton-Jacobi equationsTransactions of the American Mathematical Society, 1983