Max Robotics — Global Service Robot Directory + US Certification

About

V. S. Alagar is a researcher whose work bridges formal methods, real-time systems, and robotics, with a focus on ensuring correctness and reliability in complex software-driven environments. His key research areas include formal specification techniques, object-oriented modeling for real-time systems, and algorithmic motion planning in robotics. Alagar’s major contributions lie in extending formal notations like Object-Z to handle the temporal and real-time constraints essential for safety-critical systems, as seen in his work on specifying real-time robotic assembly processes. His most-cited paper, "Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles" (2005, 31 citations), addresses the computational geometry challenges of coordinating multiple moving objects, a foundational problem in robotics. Additionally, his 2002 paper on extending Object-Z for real-time systems (4 citations) and his 1991 case study on robotic agents and assembly processes (3 citations) demonstrate his sustained effort to integrate formal rigor into practical engineering. Alagar’s work has influenced both theoretical advances in formal methods and applied robotics, making him a notable figure in the development of verifiable, modular, and reusable system designs for real-time applications.