3 papers
eess.SY2026
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…
cs.RO2026
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…
physics.flu-dyn2026
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…