Verification of Hybrid Systems via Mathematical Programming (1999)

Cached

Download Links

by Alberto Bemporad , Manfred Morari
Venue:Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science
Citations:18 - 6 self