Mazen Farhood

CoRR, July, 2025

Data-Driven Discrepancy Modeling in Higher-Dimensional State Space via Coprime Factorization.

[BibT_eX]

[DOI]

CoRR, February, 2025

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints.

[BibT_eX]

[DOI]

Elias Khalife

Pierre-Loïc Garoche

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Robust Path Following Control of Autonomous Underwater Vehicles via Gain Scheduling and Integral Quadratic Constraints.

[BibT_eX]

[DOI]

Daniel J. Stilwell

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Dynamic Obstacle Avoidance with Guarantees for Small Fixed-Wing Aircraft.

[BibT_eX]

[DOI]

Dennis J. Marquis

Proceedings of the IEEE Conference on Control Technology and Applications, 2024

2023

A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., September, 2023

Stochastic MPC Based Attacks on Object Tracking in Autonomous Driving Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.

[BibT_eX]

[DOI]

Elias Khalife

Pierre-Loïc Garoche

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Decentralized Multi-agent Exploration with Limited Inter-agent Communications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Control of Polytopic LPV Systems with Uncertain Initial Conditions.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Bi-Level Nonstationary Kernels for Online Gaussian Process Regression.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Identifying Critical Attack Points in Cyber-Physical Systems Using Integral Quadratic Constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Robustness and Convergence Analysis of First-Order Distributed Optimization Algorithms over Subspace Constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

A Distributed Connectivity Maintenance Algorithm With Formal Guarantees for a Communication-Constrained Network of Unmanned Underwater Vehicles.

[BibT_eX]

[DOI]

IEEE Syst. J., 2022

Physical-Layer Attacks Against Pulse Width Modulation-Controlled Actuators.

[BibT_eX]

[DOI]

Gökçen Yilmaz Dayanikli

Proceedings of the 31st USENIX Security Symposium, 2022

Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems.

[BibT_eX]

[DOI]

Elias Khalife

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

LPV control and analysis under uncertain initial conditions.

[BibT_eX]

[DOI]

Autom., 2021

LFT Representation of a Class of Nonlinear Systems: A Data-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the 2021 European Control Conference, 2021

Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure.

[BibT_eX]

[DOI]

Pierre-Loïc Garoche

Proceedings of the 2021 American Control Conference, 2021

2020

A Comprehensive Analytical Tool for Control Validation of Fixed-Wing Unmanned Aircraft.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2020

On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Distributed Connectivity Maintenance Algorithm for a Network of Unmanned Underwater Vehicles Under Communication Constraints.

[BibT_eX]

[DOI]

Daniel J. Stilwell

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Guaranteed Output Bounds Using Performance Integral Quadratic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Robustness Analysis of Flight Controllers for Fixed-Wing Unmanned Aircraft Systems Using Integral Quadratic Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2019

Coprime factors reduction of distributed nonstationary LPV systems.

[BibT_eX]

[DOI]

Int. J. Control, 2019

An oracle for the discrete-time integral quadratic constraint problem.

[BibT_eX]

[DOI]

Autom., 2019

On the Analytic Center Cutting Plane Method for the Discrete-Time Integral Quadratic Constraint Problem.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Robustness Analysis of Uncertain Time-Varying Interconnected Systems Using Integral Quadratic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

IQC-Based Robustness Analysis with Time-Varying Multipliers.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Model reduction of distributed nonstationary LPV systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2018

Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach.

[BibT_eX]

[DOI]

Kyriakos G. Vamvoudakis

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Coprime Factors Model Reduction of Spatially Distributed LTV Systems Over Arbitrary Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Distributed control of nonstationary LPV systems over arbitrary graphs.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2017

Balanced truncation model reduction of nonstationary systems interconnected over arbitrary graphs.

[BibT_eX]

[DOI]

Autom., 2017

Robustness analysis of eventually periodic systems using integral quadratic constraints with periodic multipliers.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Distributed control of systems with uncertain initial conditions.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Balanced truncation of spatially distributed nonstationary LPV systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Two-Step System Identification and Trajectory Tracking Control of a Small Fixed-Wing UAV.

[BibT_eX]

[DOI]

David J. Grymin

J. Intell. Robotic Syst., 2016

An IQC analysis framework for small fixed-wing UAS.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

An LFT approach for distributed control of nonstationary LPV systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Coprime factors model reduction of linear systems interconnected over arbitrary graphs with communication latency.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Development and Modeling of a Low-Cost Unmanned Aerial Vehicle Research Platform.

[BibT_eX]

[DOI]

Ony Arifianto

J. Intell. Robotic Syst., 2015

An LPV path-following controller for small fixed-wing UAS.

[BibT_eX]

[DOI]

Kyle T. Guthrie

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Balanced truncation of linear systems interconnected over arbitrary graphs with communication latency.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Distributed control of LPV systems over arbitrary graphs: A parameter-dependent lyapunov approach.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

On the balanced truncation and coprime factors reduction of Markovian jump linear systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

A hierarchical approach for primitive-based motion planning and control of autonomous vehicles.

[BibT_eX]

[DOI]

David J. Grymin

Charles B. Neas

Robotics Auton. Syst., 2014

Two-step system identification for control of small UAVs along pre-specified trajectories.

[BibT_eX]

[DOI]

David J. Grymin

Proceedings of the American Control Conference, 2014

2013

Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming.

[BibT_eX]

[DOI]

Eric Feron

IEEE Trans. Control. Syst. Technol., 2012

LPV Control of Nonstationary Systems: A Parameter-Dependent Lyapunov Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Nonstationary LPV control for trajectory tracking: a double pendulum example.

[BibT_eX]

[DOI]

Int. J. Control, 2012

2010

Trajectory regulation of a double pendulum using a nonstationary LPV approach.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems.

[BibT_eX]

[DOI]

Eric Feron

Proceedings of the American Control Conference, 2009

2008

Control of Systems With Uncertain Initial Conditions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

2007

Model Reduction of Nonstationary LPV Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

2006

On the balanced truncation of LTV systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Control of distributed systems over graphs.

[BibT_eX]

[DOI]

Zhe Di

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Model reduction of periodic systems: a lifting approach.

[BibT_eX]

[DOI]

Autom., 2005

2004

On the ℓ<sub>2</sub>-induced control for eventually periodic systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

2003

Model reduction of stabilizable nonstationary LPV models.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Model reduction of nonstationary LPV systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

LMI tools for eventually periodic systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Control of nonstationary LPV systems.

[BibT_eX]

[DOI]