Mike Franusich
Papers
1
Total Citations
31
H-Index
1
About
Mike Franusich is a researcher at the forefront of cyber-physical systems (CPSs), with a particular focus on ensuring the safety and reliability of autonomous robots and vehicles. His work addresses a critical challenge: how to provide end-to-end guarantees for software that controls physical processes, from power plants to self-driving cars. Franusich’s most-cited paper, “High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control” (2017), has garnered 31 citations and lays out a framework for verifying that every computational component in a CPS behaves correctly, even under uncertainty. This contribution is pivotal for building trust in autonomous systems, where a single software error can have catastrophic consequences. By bridging formal verification methods with practical control systems, Franusich helps pave the way for safer, more dependable automation. His work is essential reading for students and researchers interested in the intersection of software engineering, control theory, and safety-critical systems—a field where rigorous assurance is not just a luxury, but a necessity.
Research Focus
Key Achievements
Top Papers
- 1High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control31 citations · 2017