18 citations · 34 across the 8 of their papers we have counts for
4 papers · 1 filter
Distributed Observation Scheduling and Sensor Fusion For Large Agile Constellations
Nicholas Niziolek, Ryan Draves, Nolan Ales +4
With the rapid increase in interest towards large scale earth observing satellite constellations, the problem of properly commanding and utilizing these systems has become increasi…
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
Autonomous systems often have complex and possibly unknown dynamics due to, e.g., black-box components. This leads to unpredictable behaviors and makes control design with performa…
Strategy Synthesis for Partially-known Switched Stochastic Systems
John Jackson, Luca Laurenti, Eric Frew +1
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (L…
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box compo…