SIAM Journal on Control and Optimization (1995)