𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards the verification of optimizing transformations for imperative programs

✍ Scribed by Gerd Kock

Publisher
Elsevier Science
Year
1990
Weight
657 KB
Volume
30
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Optimization methods for the verificatio
Optimization methods for the verification of second order sufficient conditions for bang–bang controls
✍ H. Maurer; C. BΓΌskens; J.-H. R. Kim; C. Y. Kaya πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 263 KB

## Abstract It has been common practice to find controls satisfying only necessary conditions for optimality, and then to use these controls assuming that they are (locally) optimal. However, sufficient conditions need to be used to ascertain that the control rule is optimal. Second order sufficien