L. D. James, C. A. Teixeira, A. B. Leal. Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell. In IEEE International Conference on Industrial Technology, ICIT 2019, Melbourne, Australia, February 13-15, 2019. pages 935-940, IEEE, 2019. [doi]
Abstract is missing.