Max Robotics — Global Service Robot Directory + US Certification

About

Silvia Lizeth Tapia Tarifa is a researcher specializing in formal methods, self-adaptive systems, and autonomous robotics, with a growing body of work that bridges rigorous mathematical modeling with real-world cyber-physical applications. Her research focuses on developing formal frameworks for verifying and analyzing self-adaptive systems (SASs), particularly in robotic and marine contexts where reliability and safety are paramount. Among her most notable contributions is her series of investigations into self-adaptive robotic systems, where she applies formal modeling and analysis techniques to ensure safety-critical properties in uncertain, remote environments. Her work on analyzing SASs as software product lines demonstrates an innovative approach that leverages feature-oriented modeling to handle variability and configuration challenges in autonomous systems. Her formal model of metacontrol in Maude further illustrates her commitment to principled, tool-supported verification methods. Tapia Tarifa's research has accumulated over 25 citations across recent publications, reflecting increasing community interest in her interdisciplinary approach. Her contributions are particularly relevant for researchers tackling the dual challenges of autonomy and dependability in domains such as underwater robotics, where human intervention is limited and system self-management is essential. Her work offers both theoretical rigor and practical insight for the next generation of autonomous systems.