On supervisor synthesis theorem and its application to embedded systems

Embedded systems must be improved to survive in the rapid-changing business environment. Supervisory control is a promising approach for such improvement. This paper presented the introduction of supervisory control theory to embedded systems. The major results are (i) a theorem for supervisory control and (ii) its property which enables us to apply model checking technique to the analysis of the model given by the theorem. They were illustrated with an example of car controller.