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.
@inproceedings{HeymannLM96, title = {Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems}, author = {Michael Heymann and Feng Lin and George Meyer}, year = {1996}, researchr = {https://researchr.org/publication/HeymannLM96}, cites = {0}, citedby = {0}, pages = {134-159}, booktitle = {Hybrid Systems IV}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, volume = {1273}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63358-8}, }