Function supervisors for storage systems

摘要

A generic model discrete event of a robotic storage system installed in a warehouse with multiple storage spaces is developed. The functionality specifications of the system are formulated as function regular languages. The supervisors of the desired languages are designed and realized as function automata.