Ryan: Opacity Generalized to Transition Systems, Int. Journal of Computer Security, vol.7, issue.6, pp.421-435, 2008. ,
DOI : 10.1007/s10207-008-0058-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7966
Supervisory Control for Opacity, IEEE Transactions on Automatic Control, vol.55, issue.5, pp.1089-1100, 2010. ,
DOI : 10.1109/TAC.2010.2042008
URL : https://hal.archives-ouvertes.fr/inria-00483891
Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dyn Syst, pp.211-232, 2007. ,
Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985. ,
DOI : 10.1145/4221.4249
Modal specifications, LNCS, vol.407, pp.232-246, 1990. ,
DOI : 10.1007/3-540-52148-8_19
The use of static constructs in a modal process logic, Logic at Botik, pp.163-180, 1989. ,
Supervisory Control of Discrete Event Systems with CTL * Temporal Logic Specifications, SIAM J. of Control and Optimization, vol.44, issue.6, pp.2079-2103, 2006. ,
Operating Guidelines for Finite-State Services, Proc. ICATPN, pp.321-341, 2007. ,
DOI : 10.1007/978-3-540-73094-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7697
Wolf: Petrifying Operating Guidelines for Services, Proc. ACSD, pp.80-88, 2009. ,
DOI : 10.1109/acsd.2009.11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.9436
Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987. ,
DOI : 10.1137/0325013
On the Supremal Controllable Language of a Given Language, SIAM J. of Control and Optimization, vol.25, pp.637-659, 1987. ,
The control of discrete event systems, Proc. of the IEEE, pp.81-98, 1989. ,
DOI : 10.1109/5.21072