Leram - Mathematical Methods in Systems, Optimization, and Control: Festschrift in Honor of J. William Helton: 222