Papers
2
Total Citations
7
H-Index
2
About
Eric Vin is a rising researcher at the intersection of formal methods, control theory, and cyber-physical systems (CPS) design. His work centers on developing rigorous, algorithmic frameworks for synthesizing systems that are not only correct by construction but also exhibit desirable stochastic properties. Vin’s key contributions lie in advancing **control improvisation (CI)**—a formalism for generating randomized behaviors that satisfy hard constraints while providing guarantees on diversity and cost. His 2022 paper, “Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation,” lays foundational techniques for this approach, earning 4 citations and opening new avenues for applications in robotics and security. More recently, his 2023 work, “Symbiotic CPS Design-Space Exploration through Iterated Optimization,” tackles the grand challenge of integrating heterogeneous design tools for complex cyber-physical systems. By proposing an iterated optimization loop, Vin enables symbiotic co-design across computational, communication, and physical domains—a critical step toward scalable, automated CPS development. Though early in his career, Vin’s research is already shaping how engineers think about synthesis under uncertainty, blending formal guarantees with practical randomness. His work promises to impact autonomous systems, adaptive control, and secure system design.
Research Focus
Key Achievements
Top Papers
- 1
- 2Symbiotic CPS Design-Space Exploration through Iterated Optimization3 citations · 2023