Supervisory Control Using DEVS with Approximate Method and Hybrid Layer

Supervisory control is a formal method for the control of Discrete Event Systems (DES). The benefit of using supervisory control is that it allows the use of Modelling & Simulation (M&S) techniques to model an application and then use the model to create controllers. The use of supervisory control is currently restricted to robotics due to the issue of state space explosion as model size increases. Reduction in the state space complexity can expand the practicality of the model. We use the Discrete Event System Specifications (DEVS) formalism to implement supervisory control with an approximate method that reduces the state space complexity of the model. We also investigate the use of the hybrid layer to incorporate human interaction with a model and show that for certain cases a general approach can be used to reduce the complexity of the controller.