William C. Rounds

Papers

Total Citations

H-Index

About

William C. Rounds is a pioneering researcher in formal methods for complex, dynamic systems, with key contributions spanning hybrid systems, concurrency theory, and decentralized control. His work bridges the gap between theoretical computer science and practical engineering challenges, particularly in the specification and verification of reconfigurable hybrid systems—systems where digital and analog components interact and can physically or logically reconfigure. Rounds introduced a formal framework for specifying such systems, enabling rigorous reasoning about their behavior. He also developed a spatial logic for the hybrid π-calculus (2004, 12 citations), extending process calculi to model mobile, communicating systems with continuous dynamics. In decentralized control, his work on phase regulation of cyclic robotic systems (2001, 4 citations) addressed the scalability of control algorithms, proposing synthesis tools to overcome conservative, energy-damping behaviors in large decentralized networks. Though his citation counts are modest, Rounds’ research is foundational for emerging fields like cyber-physical systems and robotic swarms, where formal verification and decentralized coordination are critical. His work remains influential for researchers tackling the complexity of reconfigurable, hybrid, and spatially distributed systems.