Michael Heymann, Feng Lin, George Meyer. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 376-390, Springer, 1997.
Abstract is missing.