Vineet Gupta
Papers
5
Total Citations
169
H-Index
5
About
Vineet Gupta is a leading researcher in hybrid systems diagnosis and model-based programming, with a focus on ensuring the reliability of complex autonomous systems. His most influential work, "Hybrid Systems Diagnosis" (2000), has garnered 86 citations and lays the foundation for detecting and isolating faults in systems that blend continuous dynamics with discrete supervisory control. Gupta’s key contribution—deductive mode estimation, introduced in his 2001 paper (45 citations)—has become an essential component of robotic space systems, including NASA’s deep space probes, enabling real-time monitoring of sophisticated behaviors in robotic networks. His earlier work, such as "Towards Diagnosing Hybrid Systems" (1999, 13 citations), further advanced techniques for diagnosing partial or abrupt component failures in embedded controllers. Gupta also demonstrated the practical application of his methods by modeling the Sprint AERCam, a beachball-sized robotic camera used in the Space Shuttle’s cargo bay, showcasing how concurrent constraint languages can capture the behavior of self-contained propulsion systems. Through his integration of theoretical modeling with real-world space robotics, Gupta has significantly impacted the safety and autonomy of mission-critical systems.
Research Focus
Key Achievements
Top Papers
- 1Hybrid Systems Diagnosis86 citations · 2000
- 2
- 3jcc: Integrating Timed Default Concurrent Constraint Programming into Java17 citations · 2003
- 4Towards Diagnosing Hybrid Systems13 citations · 1999
- 5