Supervisory control of theme park vehicles

High-tech companies are often challenged to increase quality and functionality of products. However, this often results in increasing development costs and longer time-to-market. As a consequence, there is a need for new engineering processes. Supervisory control theory (SCT) can be used to synthesize control systems from the formal models of system components and requirements. As a result, expectations are that SCT enhances the engineering process.