3 citations · 4 across the 10 of their papers we have counts for
10 papers
Quadratic Characterizations for Reachability Analysis of Neural Networks
Elias Khalife, Mazen Farhood, Pierre-Loic Garoche
Quadratic constraints (QCs) are widely used to characterize nonlinearities and uncertainties, but generic analytical characterizations can be conservative on bounded domains. This…
Learning Families of Fixed-Wing Aircraft Control Policies with Hypernetwork-Conditioned Reinforcement Learning
Dennis Marquis, Mazen Farhood
This paper investigates whether it is more effective to condition reinforcement learning policies across changing dynamics using standard input augmentation or hypernetwork-based p…
Adversarial Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Model Uncertainty
Dennis J. Marquis, Blake Wilhelm, Devaprakash Muniraj +1
This paper presents a reinforcement learning-based path-following controller for a fixed-wing small uncrewed aircraft system (sUAS) that is robust to uncertainties in the aerodynam…
Robust Control Design and Analysis Based on Lifting Linearization of Nonlinear Systems Under Uncertain Initial Conditions
Sourav Sinha, Mazen Farhood
This paper presents a robust control synthesis and analysis framework for nonlinear systems with uncertain initial conditions. First, a deep learning-based lifting approach is prop…
Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
Elias Khalife, Pierre-Loic Garoche, Mazen Farhood
This paper focuses on formally verifying invariant properties of control programs both at the model and code levels. The physical process is described by an uncertain discrete-time…
Data-Driven Discrepancy Modeling in Higher-Dimensional State Space via Coprime Factorization
Sourav Sinha, Mazen Farhood
This work provides a data-driven framework that combines coprime factorization with a lifting linearization technique to model the discrepancy between a nonlinear system and its no…
Stochastic MPC Based Attacks on Object Tracking in Autonomous Driving Systems
Sourav Sinha, Mazen Farhood
Decision making in advanced driver assistance systems involves in general the estimated trajectories of the surrounding objects. Multiple object tracking refers to the process of e…
Robustness and Convergence Analysis of First-Order Distributed Optimization Algorithms over Subspace Constraints
Dennis J. Marquis, Dany Abou Jaoude, Mazen Farhood +1
This paper extends algorithms that remove the fixed point bias of decentralized gradient descent to solve the more general problem of distributed optimization over subspace constra…
LFT Representation of a Class of Nonlinear Systems: A Data-Driven Approach
Sourav Sinha, Devaprakash Muniraj, Mazen Farhood
This paper focuses on developing a method to obtain an uncertain linear fractional transformation (LFT) system that adequately captures the dynamics of a nonlinear time-invariant s…
Balanced Truncation Model Reduction of Nonstationary Systems Interconnected over Arbitrary Graphs
Dany Abou Jaoude, Mazen Farhood
This paper deals with the balanced truncation model reduction of discrete-time, linear time-varying, heterogeneous subsystems interconnected over finite arbitrary directed graphs.…