Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems

Michael Heymann, Feng Lin, George Meyer. Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems IV. Volume 1273 of Lecture Notes in Computer Science, pages 134-159, Springer, 1996.

Abstract

Abstract is missing.