Supervisory control synthesis for a patient support system

FREE-DOWNLOADRJM Theunissen, RRH Schiffelers… – Proceedings of the …, 2009
. In analysis, models are used to check correctness of the behavior of a system. In supervisory
control synthesis, models are used to develop a supervisory control system which is correct by
construction. . The machine control system can be divided into two layers, see Figure