4 citations · 5 across the 4 of their papers we have counts for
6 papers
Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
Yasin Sonmez, Mahmoud Khaled, Majid Zamani +1
Safety-critical control of autonomous systems requires formal safety certificates, such as controlled invariant sets, that must be computed online as conditions change. Although st…
CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators
Aditya Narendra, Ashok Kumar Saini, Mahathi Anand +3
Robot manipulators are commonly engineered around a decoupled motion-generation stack: a planner computes a collision-free path and a lower-level controller tracks the resulting re…
Aerodynamic Drag and Heat Transfer Corrections for Dehydrated Pollen Particles: CFD-Based Modeling of Airborne Allergen Transport in Smart Urban Environments
Omar Hamad, Samer Ali, Mahmoud Khaled +1
Airborne pollen transport is a key concern for urban air-quality assessment, allergy-risk forecasting, and smart-city planning. However, conventional dispersion models generally as…
A Framework for Output-Feedback Symbolic Control
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic…
SENSE: Abstraction-Based Synthesis of Networked Control Systems
Mahmoud Khaled, Matthias Rungger, Majid Zamani
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as thos…
Symbolic Abstractions of Networked Control Systems
Majid Zamani, Manuel Mazo, Mahmoud Khaled +1
The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of w…