Xia Mao, Xin Li 0010, Yanhong Huang, Jianqi Shi, Yueling Zhang. Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Industrial Informatics, 18(7):4393-4405, 2022. [doi]
@article{MaoLHSZ22, title = {Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems}, author = {Xia Mao and Xin Li 0010 and Yanhong Huang and Jianqi Shi and Yueling Zhang}, year = {2022}, doi = {10.1109/TII.2021.3123194}, url = {https://doi.org/10.1109/TII.2021.3123194}, researchr = {https://researchr.org/publication/MaoLHSZ22}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Industrial Informatics}, volume = {18}, number = {7}, pages = {4393-4405}, }