R.S. Sreenivas

Carnegie Mellon University, University of Illinois Urbana-Champaign

Papers

Total Citations

H-Index

About

R.S. Sreenivas is a researcher whose work bridges theoretical computer science, discrete event systems, and emerging applications in robotics and artificial intelligence. His primary research areas include the qualitative analysis of Petri nets, real-time resource allocation in manufacturing, and the explainability of reinforcement learning policies. Sreenivas’s most influential contribution is his 2005 paper on “Essentially Decision Free Petri Nets for Real-Time Resource Allocation,” which has garnered 34 citations. In this work, he introduced the property of essentially decision free (EDF) places, showing how liveness and safeness in Petri nets correspond to deadlock-free control logic—a critical insight for consistent discrete manufacturing systems. He has also explored practical robotics, notably in a 2013 study applying the Novint Falcon haptic device as a robotic actuator in real-time control (13 citations). Most recently, in 2024, Sreenivas has ventured into AI transparency with work on generating linear temporal logic explanations for reinforcement learning policies, a timely contribution as deployable AI systems demand interpretability. His research consistently demonstrates a commitment to both foundational theory and tangible engineering applications, making his work valuable for students and researchers interested in control systems, automation, and trustworthy AI.