Arturo Sanchez, Javier Molina. On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems. In 9th IEEE International Conference on Control and Automation, ICCA 2011, Santiago, Chile, December 19-21, 2011. pages 1207-1212, IEEE, 2011. [doi]
@inproceedings{SanchezM11-0, title = {On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems}, author = {Arturo Sanchez and Javier Molina}, year = {2011}, doi = {10.1109/ICCA.2011.6138051}, url = {http://dx.doi.org/10.1109/ICCA.2011.6138051}, researchr = {https://researchr.org/publication/SanchezM11-0}, cites = {0}, citedby = {0}, pages = {1207-1212}, booktitle = {9th IEEE International Conference on Control and Automation, ICCA 2011, Santiago, Chile, December 19-21, 2011}, publisher = {IEEE}, isbn = {978-1-4577-1475-7}, }