Max Robotics — Global Service Robot Directory + US Certification

About

K. Periyasamy’s research centers on formal methods for software engineering, with a particular focus on extending specification languages to handle complex, real-world systems. His major contribution lies in enhancing Object-Z, an object-oriented extension of the Z notation, to formally specify real-time systems—a domain where traditional Object-Z fell short due to its limited temporal operators. His 2002 paper, “Extending Object-Z for specifying real-time systems,” proposes critical extensions that enable precise modeling of time-dependent behaviors, earning 4 citations and laying groundwork for rigorous real-time system design. Beyond this, Periyasamy applies formal specification techniques to robotics, as seen in his 1991 case study on robotic agents and assembly processes (3 citations), and his 2005 work demonstrating mathematical formalisms in robotics (2 citations). His 2002 survey on formal specification for complex software (2 citations) underscores his commitment to promoting clarity and consistency in software development. Though his citation counts are modest, Periyasamy’s work is notable for bridging theoretical formal methods with practical engineering challenges, offering students a clear example of how mathematical rigor can tame the complexity of real-time and robotic systems.