Thomas Vogel

Papers

Total Citations

H-Index

About

Thomas Vogel is a leading researcher in self-adaptive systems, specializing in the intersection of control theory, artificial intelligence, and formal methods to tame uncertainty in dynamic software environments. His major contributions include pioneering a hybrid approach that integrates control-theoretic guarantees with AI-driven adaptation, enabling self-adaptive systems to maintain robustness while managing computational constraints—a work that has garnered 27 citations and shaped subsequent design paradigms. Vogel has also advanced the field through a systematic literature review on counterexample explanation (18 citations), providing a foundational taxonomy for debugging and verifying adaptive behaviors. His recent work on the formal synthesis of uncertainty reduction controllers (2024) offers a novel perspective: instead of merely adapting to uncertainty, his approach actively reduces it through engineered feedback loops, opening new avenues for dependable autonomous systems. With a cumulative impact spanning high-impact venues and a growing citation footprint, Vogel’s research is essential reading for engineers and scientists tackling the challenges of runtime adaptation, formal verification, and intelligent control in complex, uncertain environments.