Luis Urbina
Papers
1
Total Citations
4
H-Index
1
About
Luis Urbina is a researcher whose work bridges control theory and computer science, focusing on the formal specification and verification of hybrid and timed systems. His key research areas include timed automata, condition/event systems, and the rigorous analysis of systems that combine discrete and continuous dynamics. Urbina’s major contribution lies in integrating two distinct formalisms—timed condition/event systems from control theory and timed automata from computer science—to enable the verification of hybrid systems. His seminal 2001 paper, "Integrating timed condition/event systems and timed automata for the verification of hybrid systems," demonstrates that timed condition/event systems can be effectively translated into timed automata, allowing for unified verification approaches. While this work has garnered 4 citations, its impact is felt in the foundational bridging of disciplinary methods, influencing subsequent research in embedded systems and real-time control. Urbina’s achievement highlights the importance of cross-domain collaboration in tackling complex system verification challenges, making his work a valuable reference for students and researchers exploring the intersection of control and computational formalisms.
Research Focus
Key Achievements
Top Papers
- 1