3 citations · 6 across the 8 of their papers we have counts for
8 papers
Analyzing the topological structure of composite dynamical systems
Michael Robinson, Michael L. Szulczewski, James T. Thorson
This chapter explores dynamical structural equation models (DSEMs) and their nonlinear generalizations into sheaves of dynamical systems. It demonstrates these two disciplines on p…
Topological and geometric characterization of synthetic aperture sonar collections
Michael Robinson, Zander Memon, Maxwell Gualtieri
This article explores the theoretical underpinnings of -- and practical results for -- topological and geometric features of data collected by synthetic aperture sonar systems. We…
Prospects for inconsistency detection using large language models and sheaves
Steve Huntsman, Michael Robinson, Ludmilla Huntsman
We demonstrate that large language models can produce reasonable numerical ratings of the logical consistency of claims. We also outline a mathematical approach based on sheaf theo…
Tracking before detection using partial orders and optimization
Michael Robinson, Michael Stein, Henry S. Owen
This article addresses the problem of multi-object tracking by using a non-deterministic model of target behaviors with hard constraints. To capture the evolution of target feature…
Vulnerability Detection Through an Adversarial Fuzzing Algorithm
Michael Wang, Michael Robinson
Fuzzing is a popular vulnerability automated testing method utilized by professionals and broader community alike. However, despite its abilities, fuzzing is a time-consuming, comp…
Sheaf-theoretic framework for optimal network control
Griffin M. Kearney, Kevin F. Palmowski, Michael Robinson
In this paper, we use tools from sheaf theory to model and analyze optimal network control problems and their associated discrete relaxations. We consider a general problem setting…
Topology in cyber research
Steve Huntsman, Jimmy Palladino, Michael Robinson
We give an idiosyncratic overview of applications of topology to cyber research, spanning the analysis of variables/assignments and control flow in computer programs, a brief sketc…
Asynchronous logic circuits and sheaf obstructions
Michael Robinson
This article exhibits a particular encoding of logic circuits into a sheaf formalism. The central result of this article is that there exists strictly more information available to…