Papers
2
Total Citations
10
H-Index
2
About
Abdelhakim Baouya is a researcher at the forefront of dependable cyber-physical systems, with a primary focus on the formal verification, modeling, and simulation of collaborative intelligent robots. His work addresses the critical challenge of ensuring functional safety and reliability in autonomous systems, particularly within the Internet of Things (IoT) and robotic swarms. Baouya’s major contribution lies in bridging the gap between high-level system design and rigorous formal analysis. His most cited work, "Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance" (2023, 6 citations), introduces a novel framework that provides formal guarantees for the safe coordination of warehouse robots, directly impacting industrial automation. Complementing this, his paper "Formal Modeling and Simulation of Collaborative Intelligent Robots" (2021, 4 citations) offers a foundational methodology for verifying multi-robot cooperation. By integrating formal methods with practical deployment, Baouya’s research enables engineers to build trustworthy, collision-free robotic systems. His work is essential for students and researchers exploring the intersection of formal verification, robotics, and IoT, demonstrating how mathematical rigor can unlock the safe deployment of intelligent, collaborative machines in real-world environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2Formal Modeling and Simulation of Collaborative Intelligent Robots4 citations · 2021