59 citations · 326 across the 66 of their papers we have counts for
76 papers
Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems
Adnane Saoud, Anas Makdesi, Mohamed Maghenem +2
In this paper, we introduce the approximate strong upper alternating simulation (ASUAS), a new behavioral relation for transition systems. Building on this relation, we construct u…
Fast Assignment in Asset-Guarding Engagements using Function Approximation
Neelay Junnarkar, Emmanuel Sin, Peter Seiler +2
This letter considers assignment problems consisting of n pursuers attempting to intercept n targets. We consider stationary targets as well as targets maneuvering toward an asset.…
Frequency-domain Gaussian Process Models for Uncertainties
Alex Devonport, Peter Seiler, Murat Arcak
Complex-valued Gaussian processes are commonly used in Bayesian frequency-domain system identification as prior models for regression. If each realization of such a process were an…
Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
Emily Jensen, Neelay Junnarkar, Murat Arcak +2
This paper presents a novel framework for characterizing dissipativity of uncertain systems whose dynamics evolve according to differential-algebraic equations. Sufficient conditio…
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems
Adnane Saoud, Murat Arcak
In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems. We consider different classes of monotone systems dep…
Exact Recovery for System Identification with More Corrupt Data than Clean Data
Baturalp Yalcin, Haixiang Zhang, Javad Lavaei +1
This paper investigates the system identification problem for linear discrete-time systems under adversaries and analyzes two lasso-type estimators. We examine both asymptotic and…