Aviral Shrivastava
Papers
1
Total Citations
5
H-Index
1
About
Aviral Shrivastava is a leading researcher in the design and verification of cyber-physical systems (CPS), with a particular focus on ensuring timing correctness and robustness in distributed, safety-critical environments. His work addresses the fundamental challenge of guaranteeing that software and networked components meet strict timing constraints, a critical requirement for applications ranging from autonomous vehicles to industrial control systems. Shrivastava’s most notable contribution is the "Plan B" design methodology, which introduces a systematic approach to making CPS resilient against timing failures—a problem that has traditionally been difficult to solve due to the complexity of distributed platforms. This work, published in 2022, has already garnered 5 citations, signaling its growing influence in the field. Beyond this, his research spans real-time systems, embedded computing, and fault-tolerant architectures, where he has developed novel techniques for analyzing and mitigating timing uncertainties. Shrivastava’s contributions are particularly impactful for students and engineers seeking to build reliable CPS, as his methodologies bridge the gap between theoretical timing analysis and practical implementation. His ongoing efforts continue to shape how next-generation cyber-physical systems are designed to be both safe and efficient.
Research Focus
Key Achievements
Top Papers
- 1