4 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
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…