Matthew Cauwels

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Face Verification

Linear Quadratic

Management System

Top Venues

Innov. Syst. Softw. Eng.

Publications

Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
Integrating runtime verification into an automated UAS traffic management system. Innov. Syst. Softw. Eng. 18 (4) (2022)
Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
Integrating Runtime Verification into an Automated UAS Traffic Management System. ECSA Companion (2020)
Matthew Cauwels, Joseph Zambreno, Phillip H. Jones
HW/SW Configurable LQG Controller using a Sequential Discrete Kalman Filter. ReConFig (2018)