Gerald Heddy

Papers

Total Citations

H-Index

About

Gerald Heddy is a researcher whose work lies at the intersection of formal methods, robotics, and smart manufacturing. His primary research areas include design-by-humans of heterogeneous behaviors, formal specification using Linear Temporal Logic (LTL), and the monitoring of complex cyber-physical systems. Heddy’s major contributions center on developing abstractions that enable human designers to intuitively specify and verify diverse robotic behaviors, bridging the gap between high-level task descriptions and low-level control. His work on LTL-based monitoring of Smart Manufacturing Systems (SMS) addresses critical challenges in ensuring that collaborative robots can adapt safely and reliably to dynamic scenarios while maintaining correct sequences of movement. Although his citation counts are modest—with his most cited paper, “Abstractions for Design-by-Humans of Heterogeneous Behaviors” (2015), garnering 10 citations, and his SMS monitoring paper (2015) receiving 7—these works represent foundational steps in making formal verification accessible for human-robot collaboration. Heddy’s research is particularly notable for tackling the unique challenges of classifying multiple system behaviors that achieve the same high-level tasks, a key requirement for flexible and resilient manufacturing environments.