Ben Lukoschus
Papers
1
Total Citations
4
H-Index
1
About
Ben Lukoschus has made foundational contributions to the formal verification of hybrid systems, bridging control theory and computer science. His key research areas include timed condition/event systems, timed automata, and the integration of discrete and continuous dynamics for system verification. His most notable work, "Integrating timed condition/event systems and timed automata for the verification of hybrid systems" (2001), demonstrates how these two formalisms can be unified to enable rigorous analysis of time-critical systems. The paper’s core result—showing that timed condition/event systems can be translated into timed automata—provides a powerful framework for verifying properties of hybrid systems, such as those found in embedded control and cyber-physical applications. While his citation count (4) reflects a niche but impactful contribution, his work has influenced subsequent research in hybrid systems verification and formal methods. Lukoschus’s achievement lies in creating a bridge between traditionally separate disciplines, offering a practical tool for engineers and computer scientists to ensure correctness in safety-critical systems. His research remains relevant for students exploring the intersection of control theory and formal verification.
Research Focus
Key Achievements
Top Papers
- 1