Max Robotics — Global Service Robot Directory + US Certification

About

Carl Lusty’s research bridges the critical gap between high-performance software engineering and real-time communication for autonomous systems. His work focuses on three key areas: robust inter-process communication, time-triggered networking for mobile robotics, and systematic validation of complex robotic behaviors. Lusty’s most cited paper, “High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines” (19 citations), introduced a novel framework for efficiently transmitting complex C++ objects between processes, paired with a formal state-machine model for reliable behavior specification. This work provides a foundational tool for building modular, verifiable robotic systems. More recently, his TTWiFi protocol (2021, 2024) addresses a critical industry challenge: enabling deterministic, time-triggered communication over standard WiFi. With 3 and 2 citations respectively, this research demonstrates that real-time guarantees are achievable in mobile robotics and IoT without specialized hardware. Lusty also contributed to continuous integration testing for full robotic behaviors (2018, 3 citations), advocating for simulation-based testing of entire missions rather than isolated components. His 2012 work on visual-trace simulation for concurrent finite-state machines (3 citations) further underscores his commitment to validation and model-checking. By combining practical engineering with formal methods, Lusty’s research empowers developers to build more reliable, real-time autonomous systems.