Jasen Markovski. An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation. In European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013. pages 650-657, IEEE, 2013. [doi]
Abstract is missing.