Supervisory Controller Design Based On Lyapunov Stable Theory | IEEE Conference Publication | IEEE Xplore