A state-based framework for supervisory control synthesis and verification. - Jasen Markovski; Dirk A. van Beek; Rolf J. M. Theunissen; Koen G. M. Jacobs; Jacobus E. Rooda (CDC, 2010)

Coordination of resources using generalized state-based requirements. - Jasen Markovski; Koen G. M. Jacobs; Dirk A. van Beek; Lou J. Somers; Jacobus E. Rooda (WODES, 2010)