Discrete-Time Control for Rectangular Hybrid Automata.

Thomas A. Henzinger, Peter W. Kopke

Browse the full ICALP paper archive.