Conference Proceedings

Robust Controller Synthesis for Hybrid Systems Using Modal Logic

J DAVOREN, undefined Moor

Hybrid Systems: Computation and Control | Springer Verlag | Published : 2001

University of Melbourne Researchers