Browsing by Author "Lafortune, Stéphane"
Now showing 1 - 3 of 3
- Results Per Page
- Sort Options
Item 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éphaneItem A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems(2016-08) Yin, Xiang; Lafortune, Stéphane