Usama Mehmood

According to our database, Usama Mehmood authored at least 9 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A distributed simplex architecture for multi-agent systems.

Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller

J. Syst. Archit., 2023

2022

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.

Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Safe CPS from unsafe controllers.

Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Collision-Free 3D Flocking Using the Distributed Simplex Architecture.

Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka

Proceedings of the Formal Methods in Outer Space, 2021

Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the 2021 American Control Conference, 2021

2020

Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers.

Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Learning Distributed Controllers for V-Formation.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2018

Declarative vs rule-based control for flocking dynamics.

Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Model Checking Cyber-Physical Systems using Particle Swarm Optimization.

Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang

CoRR, 2017