Verification of hybrid systems via mathematical programming (1999)

by A Bemporad, M Morari
Venue:Hybrid Systems: 25 and Control, volume 1569 of Lecture Notes in Computer Science