Supervisory Control for Opacity (2010)

by Jeremy Dubreil, Philippe Darondeau, Hervé Marchand
Venue:IEEE Transactions on Automatic Control