Conference Proceedings

Robust Controller Synthesis for Hybrid Systems Using Modal Logic

J DAVOREN, Moor

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

University of Melbourne Researchers