Enforcement of opacity properties using insertion functions

Yi-Chin Wu, Stéphane Lafortune. Enforcement of opacity properties using insertion functions. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 6722-6728, IEEE, 2012. [doi]

@inproceedings{WuL12-23,
  title = {Enforcement of opacity properties using insertion functions},
  author = {Yi-Chin Wu and Stéphane Lafortune},
  year = {2012},
  doi = {10.1109/CDC.2012.6426760},
  url = {http://dx.doi.org/10.1109/CDC.2012.6426760},
  researchr = {https://researchr.org/publication/WuL12-23},
  cites = {0},
  citedby = {0},
  pages = {6722-6728},
  booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
  publisher = {IEEE},
  isbn = {978-1-4673-2065-8},
}