Kurt Wilson

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors

Real-Time and Embedded Technology and Applications Symposium.

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 22, 1–11.

Dynamic Priority Scheduling of Multithreaded ROS 2 Executor With Shared Resources

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43(11), 3732–3743.

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2024, October 3). 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), pp. 96–100.

GLARE: A Dataset for Traffic Sign Detection in Sun Glare

IEEE Transactions on Intelligent Transportation Systems.

Optimizing Real-Time Performances for Timed-Loop Racing under F1TENTH

ArXiv Preprint ArXiv:2212.04549.

Response time analysis for dynamic priority scheduling in ROS2

Presented at the DAC '22: 59th ACM/IEEE Design Automation Conference.

Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors

Tang, Y., Feng, Z., Guan, N., Jiang, X., Lv, M., Deng, Q., & Yi, W. (2020, December 1). 2020 IEEE Real-Time Systems Symposium (RTSS).