Chetan Rawal

Papers

Total Citations

H-Index

About

Chetan Rawal’s research lies at the intersection of formal language theory, robotics, and hybrid systems, where he explores how linguistic models can describe and constrain robot behavior. His most-cited work, “(Sub)regular Robotic Languages” (2011), introduces a novel class of formal languages that capture the abstract behavior of robots operating as hybrid systems with stable continuous dynamics. By bridging concepts from linguistics and automata theory, Rawal provides a framework for modeling robot actions as regular or subregular languages, enabling more rigorous analysis of their behavioral patterns. This contribution has garnered 7 citations, reflecting its niche but foundational impact in the emerging field of robotic formal methods. Rawal’s work is notable for its interdisciplinary approach, offering a fresh perspective on how to encode and verify robot behaviors through language-theoretic tools. For students and researchers, his research opens pathways to integrate theoretical computer science with practical robotics, particularly in designing predictable and verifiable autonomous systems. His achievements highlight the value of cross-domain thinking in advancing robotic intelligence.