Matthew Anderson

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 43

Top Topics

Aerial Vehicles

Matrix Multiplication

High Performance Computing

Top Venues

IEEE Robotics Autom. Lett.

Publications

Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas, Steven Drager, Matthew Anderson, Fanxin Kong
Fast Attack Recovery for Stochastic Cyber-Physical Systems. RTAS (2024)
Michael O'Connell, Joshua Cho, Matthew Anderson, Soon-Jo Chung
Learning-Based Minimally-Sensed Fault-Tolerant Adaptive Flight Control. IEEE Robotics Autom. Lett. 9 (6) (2024)
Matthew Anderson, Matthew Sgambati
High Performance Computing Peak Shaving for Microreactor Operation. PEARC (2024)
Connor Lee, Saraswati Soedarmadji, Matthew Anderson, Anthony J. Clark, Soon-Jo Chung
Semantics from Space: Satellite-Guided Thermal Semantic Segmentation Annotation for Aerial Field Robots. CoRR (2024)
Connor Lee, Matthew Anderson, Nikhil Raganathan, Xingxing Zuo, Kevin Do, Georgia Gkioxari, Soon-Jo Chung
CART: Caltech Aerial RGB-Thermal Dataset in the Wild. CoRR (2024)
Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, Fanxin Kong
Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems. ICCPS (2024)
Elena Sorina Lupu, Fengze Xie, James A. Preiss, Jedidiah Alindogan, Matthew Anderson, Soon-Jo Chung
MAGIC-VFM: Meta-learning Adaptation for Ground Interaction Control with Visual Foundation Models. CoRR (2024)
Matthew Sgambati, Matthew Anderson
Software Quality Assurance for High Performance Computing Containers. PEARC (2023)
Matthew Anderson, Zongliang Ji, Anthony Yang Xu
Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles. CoRR (2023)
Connor T. Lee, Jonathan Gustafsson Frennert, Lu Gan, Matthew Anderson, Soon-Jo Chung
Online Self-Supervised Thermal Water Segmentation for Aerial Vehicles. CoRR (2023)
Ioannis Nearchou, Lance Rafalko, Ryan Phillips, Matthew Anderson, Wuwei Shen, Steven Drager
An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study. SERA (2023)
Sina Yari-Karin, Hakan Aydin, Dakai Zhu, Steven Drager, Matthew Anderson
Impact of priority assignment on schedule-based attacks in real-time embedded systems. J. Syst. Archit. 145 (2023)
Matthew Anderson, Vu Le
Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication. COCOON (2) (2023)
A. H. M. Jakaria, Mohammad Ashiqur Rahman, Muneeba Asif, Alvi Ataur Khalil, Hisham A. Kholidy, Matthew Anderson, Steven Drager
Trajectory Synthesis for a UAV Swarm Based on Resilient Data Collection Objectives. IEEE Trans. Netw. Serv. Manag. 20 (1) (2023)
Se-Yeon Jeon, Brian P. Hawkins, Samuel Prager, Matthew Anderson, Stefano Moro, Robert Beauchamp, Eric Loria, Soon-Jo Chung, Marco Lavalle
Uav-Borne Bistatic Sar and Insar Experiments in Support of STV and SDC Target Observables. IGARSS (2023)
Matthew Anderson, Vu Le
Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication. CoRR (2023)
Connor Lee, Jonathan Gustafsson Frennert, Lu Gan, Matthew Anderson, Soon-Jo Chung
Online Self-Supervised Thermal Water Segmentation for Aerial Vehicles. IROS (2023)
Ali Agha, Kyohei Otsu, Benjamin Morrell, David D. Fan, Rohan Thakker, Angel Santamaria-Navarro, Sung-Kyun Kim, Amanda Bouman, Xianmei Lei, Jeffrey A. Edlund, Muhammad Fadhil Ginting, Kamak Ebadi, Matthew Anderson, Torkom Pailevanian, Edward Terry, Michael T. Wolf, Andrea Tagliabue, Tiago Vaquero, Matteo Palieri, Scott Tepsuporn, Yun Chang, Arash Kalantari, Fernando Chavez, Brett Thomas Lopez, Nobuhiro Funabiki, Gregory Miles, Thomas Touma, Alessandro Buscicchio, Jesus Tordesillas, Nikhilesh Alatur, Jeremy Nash, William Walsh, Sunggoo Jung, Hanseob Lee, Christoforos Kanellakis, John Mayo, Scott Harper, Marcel Kaufmann, Anushri Dixit, Gustavo Correa, Carlyn Lee, Jay Gao, Gene Merewether, Jairo Maldonado-Contreras, Gautam Salhotra, Maíra Saboia da Silva, Benjamin Ramtoula, Seyed Abolfazl Fakoorian, Alexander Hatteland, Taeyeon Kim, Tara Bartlett, Alex Stephens, Leon Kim, Chuck Bergh, Eric Heiden, Thomas Lew, Abhishek Cauligi, Tristan Heywood, Andrew Kramer, Henry A. Leopold, Hovhannes Melikyan, Hyungho Chris Choi, Shreyansh Daftry, Olivier Toupet, Inhwan Wee, Abhishek Thakur, Micah Feras, Giovanni Beltrame, George Nikolakopoulos, David Hyunchul Shim, Luca Carlone, Joel Burdick
NeBula: TEAM CoSTAR's Robotic Autonomy Solution that Won Phase II of DARPA Subterranean Challenge. Field Robotics 2 (1) (2022)
Samuel Prager, Brian P. Hawkins, Matthew Anderson, Soon-Jo Chung, Marco Lavalle
Development of Ultra-Wideband Software Defined Radar Testbed to Support SAR Tomographic Mission Formulation. IGARSS (2022)
Bradlee Rothwell, Matthew Sgambati, Garrick Evans, Brandon Biggs, Matthew Anderson
Quantifying the Impact of Advanced Web Platforms on High Performance Computing Usage. PEARC (2022)
Cooper Coldwell, Denver Conger, Edward Goodell, Brendan Jacobson, Bryton Petersen, Damon Spencer, Matthew Anderson, Matthew Sgambati
Machine Learning 5G Attack Detection in Programmable Logic. GLOBECOM (Workshops) (2022)
Dakai Zhu, Steven Drager, Matthew Anderson, Hakan Aydin
Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems. RTSS (2022)
Ali Agha, Kyohei Otsu, Benjamin Morrell, David D. Fan, Rohan Thakker, Angel Santamaria-Navarro, Sung-Kyun Kim, Amanda Bouman, Xianmei Lei, Jeffrey A. Edlund, Muhammad Fadhil Ginting, Kamak Ebadi, Matthew Anderson, Torkom Pailevanian, Edward Terry, Michael T. Wolf, Andrea Tagliabue, Tiago Stegun Vaquero, Matteo Palieri, Scott Tepsuporn, Yun Chang, Arash Kalantari, Fernando Chavez, Brett Thomas Lopez, Nobuhiro Funabiki, Gregory Miles, Thomas Touma, Alessandro Buscicchio, Jesus Tordesillas, Nikhilesh Alatur, Jeremy Nash, William Walsh, Sunggoo Jung, Hanseob Lee, Christoforos Kanellakis, John Mayo, Scott Harper, Marcel Kaufmann, Anushri Dixit, Gustavo Correa, Carlyn Lee, Jay Gao, Gene Merewether, Jairo Maldonado-Contreras, Gautam Salhotra, Maíra Saboia da Silva, Benjamin Ramtoula, Yuki Kubo, Seyed Abolfazl Fakoorian, Alexander Hatteland, Taeyeon Kim, Tara Bartlett, Alex Stephens, Leon Kim, Chuck Bergh, Eric Heiden, Thomas Lew, Abhishek Cauligi, Tristan Heywood, Andrew Kramer, Henry A. Leopold, Hyungho Chris Choi, Shreyansh Daftry, Olivier Toupet, Inhwan Wee, Abhishek Thakur, Micah Feras, Giovanni Beltrame, George Nikolakopoulos, David Hyunchul Shim, Luca Carlone, Joel Burdick
NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge. CoRR (2021)
Brian P. Hawkins, Matthew Anderson, Sam Prager, Soon-Jo Chung, Marco Lavalle
Experiments with Small UAS to Support SAR Tomographic Mission Formulation. IGARSS (2021)
Marco Lavalle, Ilgin Seker, James Ragan, Eric Loria, Razi Ahmed, Brian P. Hawkins, Samuel Prager, Duane Clark, Robert Beauchamp, Mark Haynes, Paolo Focardi, Nacer E. Chahat, Matthew Anderson, Kai Matsuka, Vincenzo Capuano, Soon-Jo Chung
Distributed Aperture Radar Tomographic Sensors (DARTS) to Map Surface Topography and Vegetation Structure. IGARSS (2021)
Benjamin Rivière, Wolfgang Hönig, Matthew Anderson, Soon-Jo Chung
Neural Tree Expansion for Multi-Robot Planning in Non-Cooperative Environments. IEEE Robotics Autom. Lett. 6 (4) (2021)
David Vint, Matthew Anderson, Yuhao Yang, Christos V. Ilioudis, Gaetano Di Caterina, Carmine Clemente
Automatic Target Recognition for Low Resolution Foliage Penetrating SAR Images Using CNNs and GANs. Remote. Sens. 13 (4) (2021)
Benjamin Rivière, Wolfgang Hönig, Matthew Anderson, Soon-Jo Chung
Neural Tree Expansion for Multi-Robot Planning in Non-Cooperative Environments. CoRR (2021)
Matthew Anderson, Shaun West, David Harrison
Exploring Accidental Digital Servitization in an Industrial Context. APMS (3) (2021)
Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines. ICECCS (2020)
Matthew Anderson, Zongliang Ji, Anthony Yang Xu
Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles. SAT (2020)
Amanda Bouman, Paul Nadan, Matthew Anderson, Daniel Pastor, Jacob Izraelevitz, Joel Burdick, Brett Kennedy
Design and Autonomous Stabilization of a Ballistically-Launched Multirotor. ICRA (2020)
A. H. M. Jakaria, Mohammad Ashiqur Rahman, Matthew Anderson, Steven L. Drager
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives. CoRR (2020)
Matthew Anderson, Matthew D. Williamson, K. Subramani
Empirical analysis of algorithms for the shortest negative cost cycle problem. Discret. Appl. Math. 253 (2019)
Amanda Bouman, Paul Nadan, Matthew Anderson, Daniel Pastor, Jacob Izraelevitz, Joel Burdick, Brett Kennedy
Design and Autonomous Stabilization of a Ballistically Launched Multirotor. CoRR (2019)
Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study. CoRR (2019)
Daniel L. Marino, Matthew Anderson, Kevin Kenney, Milos Manic
Interpretable Data-Driven Modeling in Biomass Preprocessing. HSI (2018)
Matthew Anderson, Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka, Ben Lee Volk
Oblivious Algebraic Branching Programs. ACM Trans. Comput. Theory 10 (1) (2018)
Scott Kuzdeba, Andrew Radlbeck, Matthew Anderson
Performance Metrics for Cognitive Electronic Warfare - Electronic Support Measures. MILCOM (2018)
K. Subramani, Piotr J. Wojciechowski, Zachary Santer, Matthew Anderson
An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints. AAIM (2018)
Matthew Anderson, Anuj Dawar
On Symmetric Circuits and Fixed-Point Logics. Theory Comput. Syst. 60 (3) (2017)
Patrick Sivils, Kasun Amarasinghe, Matthew Anderson, Neal Yancey, Quang Nguyen, Kevin Kenney, Milos Manic
Dynamic user interfaces for control systems. HSI (2017)
Matthew Anderson, Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka, Ben Lee Volk
Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs. Computational Complexity Conference (2016)
Forrest Wolfgang Glines, Matthew Anderson, David Neilsen
Scalable Relativistic High-Resolution Shock-Capturing for Heterogeneous Computing. CLUSTER (2015)
Matthew Anderson, Dieter van Melkebeek, Ilya Volkovich
Deterministic polynomial identity tests for multilinear bounded-read formulae. Comput. Complex. 24 (4) (2015)
Matthew Anderson, Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka, Ben Lee Volk
Identity Testing and Lower Bounds for Read-$k$ Oblivious Algebraic Branching Programs. CoRR (2015)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Solving Linear Programs without Breaking Abstractions. J. ACM 62 (6) (2015)
Matthew Anderson, Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka, Ben Lee Volk
Oblivious Algebraic Branching Programs. Electron. Colloquium Comput. Complex. 22 (2015)
Matthew Anderson, Anuj Dawar
On Symmetric Circuits and Fixed-Point Logics. STACS (2014)
Matthew Anderson, Sandeep K. Shukla
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications. ICNSC (2014)
Matthew Anderson, Anuj Dawar
On Symmetric Circuits and Fixed-Point Logics. CoRR (2014)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting CoRR (2013)
Matthew Anderson, Sandeep K. Shukla
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. MEMOCODE (2013)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. LICS (2013)
Damian Schofield, Katharina Lorenz, Stephanie Davy-Jow, Matthew Anderson
Roman Portraiture and biometric identification. EVA (2012)
Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin
Locality from Circuit Lower Bounds. SIAM J. Comput. 41 (6) (2012)
Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates. ICALP (2) (2011)
Matthew Anderson, Dieter van Melkebeek, Ilya Volkovich
Derandomizing Polynomial Identity Testing for Multilinear Constant-Read Formulae. Computational Complexity Conference (2011)
Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin
Locality from Circuit Lower Bounds. Electron. Colloquium Comput. Complex. 18 (2011)
Matthew Anderson, Dieter van Melkebeek, Ilya Volkovich
Derandomizing Polynomial Identity Testing for Multilinear Constant-Read Formulae. Electron. Colloquium Comput. Complex. 17 (2010)
Matthew Anderson, Jung-Han Kimn
A numerical approach to space-time finite elements for the wave equation. J. Comput. Phys. 226 (1) (2007)
Matthew Anderson, Irfan Altas, Geoff Fellows
Web Personalisation with the Cover Coefficient Algorithm. International Conference on Computational Science (2003)
Matthew Anderson, Ricardo Motta, Srinivasan Chandrasekar, Michael Stokes
Proposal for a Standard Default Color Space for the Internet - sRGB. Color Imaging Conference (1996)