Model-Based Engineering of Supervisory Controllers using CIF

Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda. Model-Based Engineering of Supervisory Controllers using CIF. ECEASST, 21, 2009. [doi]

Abstract

Abstract is missing.