Allen Back
Papers
1
Total Citations
183
H-Index
1
About
Allen Back is a pioneering researcher in hybrid systems and dynamical simulation, best known for developing foundational frameworks that bridge continuous and discrete computational models. His most-cited work, "A dynamical simulation facility for hybrid systems" (1993), has garnered 183 citations, establishing him as a key figure in the formal verification and simulation of cyber-physical systems. Back's contributions have been instrumental in advancing methods for modeling complex interactions between digital controllers and physical environments, with applications ranging from robotics to embedded systems. His research emphasizes rigorous mathematical foundations for simulation tools, enabling more reliable analysis of safety-critical systems. Beyond this landmark paper, Back's work continues to influence the design of simulation environments that integrate differential equations with state machines, a core challenge in modern engineering. His achievements reflect a sustained impact on both theoretical computer science and practical system design, making his research essential reading for students and professionals working at the intersection of computation and physical dynamics.
Research Focus
Key Achievements
Top Papers
- 1A dynamical simulation facility for hybrid systems183 citations · 1993