A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems

Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte