Synthesis of hybrid constraint-based controllers (1995)

by Y Zhang, A K Mackworth
Venue:Hybrid Systems II, Lecture Notes in Computer Science 999