A generic state-vector transition (SVT) model is suggested, including a flexible synchronous composition involving both shared variables and events. This model is analyzed, focusing on properties that are important for supervisor synthesis. A synthesis procedure is then developed for the SVT model, where supervisor guards are generated that guarantee a controllable, nonblocking and maximally pe…
The execution behavior of a system or a product can often be specified by a set of operations (sometimes called tasks, actions or activities). The process to specify these operations seems to be a real challenge in various situations, for example when designing automation systems or keeping track of the work at an emergency department. To be flexible during design and development, is about cop…
A proper control of a system to get a desired function and increase the system lifetime is a crucial step towards the sustainable paradigm. In this paper, such a control is designed for a cyclic pallet system to achieve a minimal force on its drive unit, meet safety conditions on the system chain tension force, and the momentum of pallets, and fulfill a desired production rate. The optimal valu…