Publisher
Springer International Publishing
Reference35 articles.
1. tprasadtp/cruise-control-simulink: Simulink model for Cruise control system of a car with dynamic road conditions.
https://github.com/tprasadtp/cruise-control-simulink
2. Lecture Notes in Computer Science;T Akazaki,2015
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994).
https://doi.org/10.1016/0304-3975(94)90010-8
4. André, É., Hasuo, I., Waga, M.: Offline timed pattern matching under uncertainty. In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12–14, 2018, pp. 10–20. IEEE Computer Society (2018).
https://doi.org/10.1109/ICECCS2018.2018.00010
5. Lecture Notes in Computer Science;Y Annpureddy,2011
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elements of Timed Pattern Matching;ACM Transactions on Embedded Computing Systems;2024-06-10
2. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11
3. A compositional framework for algebraic quantitative online monitoring over continuous-time signals;International Journal on Software Tools for Technology Transfer;2023-08
4. Parametric Timed Pattern Matching;ACM Transactions on Software Engineering and Methodology;2023-01-31
5. Model-bounded Monitoring of Hybrid Systems;ACM Transactions on Cyber-Physical Systems;2022-10-31