Supervisory control of Fuzzy Discrete Event Systems and its application to mobile robot navigation | IEEE Conference Publication | IEEE Xplore