Mathématiques
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/15
Browse
3 results
Search Results
Item A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems(2016-08) Yin, Xiang; Lafortune, StéphaneItem Synthesis of maximally permissive supervisors for partially-observed discrete-event systems(2016-05) Yin, Xiang; Lafortune, StéphaneItem Synthesis of optimal insertion functions for opacity enforcement(2016-03) Wu, Yi-Chin; Lafortune, Stéphane