Mazen Farhood
Orcid: 0000-0001-9855-7250
According to our database1,
Mazen Farhood
authored at least 59 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems.
IEEE Syst. J., September, 2023
CoRR, 2023
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
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.
Proceedings of the American Control Conference, 2023
Robustness and Convergence Analysis of First-Order Distributed Optimization Algorithms over Subspace Constraints.
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.
IEEE Syst. J., 2022
Proceedings of the 31st USENIX Security Symposium, 2022
Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
2021
Proceedings of the 2021 European Control Conference, 2021
Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure.
Proceedings of the 2021 American Control Conference, 2021
2020
A Comprehensive Analytical Tool for Control Validation of Fixed-Wing Unmanned Aircraft.
IEEE Trans. Control. Syst. Technol., 2020
On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study.
IEEE Access, 2020
A Distributed Connectivity Maintenance Algorithm for a Network of Unmanned Underwater Vehicles Under Communication Constraints.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
Robustness Analysis of Flight Controllers for Fixed-Wing Unmanned Aircraft Systems Using Integral Quadratic Constraints.
IEEE Trans. Control. Syst. Technol., 2019
Int. J. Control, 2019
On the Analytic Center Cutting Plane Method for the Discrete-Time Integral Quadratic Constraint Problem.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Robustness Analysis of Uncertain Time-Varying Interconnected Systems Using Integral Quadratic Constraints.
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
Coprime Factors Model Reduction of Spatially Distributed LTV Systems Over Arbitrary Graphs.
IEEE Trans. Autom. Control., 2017
Syst. Control. Lett., 2017
Balanced truncation model reduction of nonstationary systems interconnected over arbitrary graphs.
Autom., 2017
Robustness analysis of eventually periodic systems using integral quadratic constraints with periodic multipliers.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the 2017 American Control Conference, 2017
2016
Two-Step System Identification and Trajectory Tracking Control of a Small Fixed-Wing UAV.
J. Intell. Robotic Syst., 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Coprime factors model reduction of linear systems interconnected over arbitrary graphs with communication latency.
Proceedings of the 2016 American Control Conference, 2016
2015
J. Intell. Robotic Syst., 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Balanced truncation of linear systems interconnected over arbitrary graphs with communication latency.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Distributed control of LPV systems over arbitrary graphs: A parameter-dependent lyapunov approach.
Proceedings of the American Control Conference, 2015
2014
On the balanced truncation and coprime factors reduction of Markovian jump linear systems.
Syst. Control. Lett., 2014
A hierarchical approach for primitive-based motion planning and control of autonomous vehicles.
Robotics Auton. Syst., 2014
Two-step system identification for control of small UAVs along pre-specified trajectories.
Proceedings of the American Control Conference, 2014
2013
Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency.
Proceedings of the American Control Conference, 2013
2012
Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming.
IEEE Trans. Control. Syst. Technol., 2012
IEEE Trans. Autom. Control., 2012
Int. J. Control, 2012
2010
Proceedings of the American Control Conference, 2010
2009
A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems.
Proceedings of the American Control Conference, 2009
2008
IEEE Trans. Autom. Control., 2008
2007
2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
2004
Proceedings of the 2004 American Control Conference, 2004
2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the American Control Conference, 2003
2002