Author:
Yu Xinyi,Dong Weijie,Li Shaoyuan,Yin Xiang
Funder
National Natural Science Foundation of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference58 articles.
1. Abate, M., Feron, E., & Coogan, S. (2019). Monitor-based runtime assurance for temporal logic specifications. In IEEE conference on decision and control (pp. 1997–2002).
2. Leveraging system dynamics in runtime verification of cyber-physical systems;Abbas,2022
3. Bounded model checking of signal temporal logic properties using syntactic separation;Bae;Proceedings of the ACM on Programming Languages,2019
4. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications;Bartocci,2018
5. Runtime verification for LTL and TLTL;Bauer;ACM Transactions on Software Engineering and Methodology,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献