Hasan Sinan Bank
Papers
1
Total Citations
10
H-Index
1
About
Hasan Sinan Bank is a researcher whose work lies at the intersection of formal methods and smart manufacturing, with a particular focus on enhancing system autonomy through temporal logic. His most-cited paper, "Temporal Logic (TL)-Based Autonomy for Smart Manufacturing Systems" (2018, 10 citations), addresses a critical bottleneck in modern factory automation: the rigidity of hard-coded control systems. Bank’s key contribution is demonstrating how temporal logic can replace static, case-specific programming, enabling manufacturing systems to reason about complex tasks and safety constraints dynamically. This approach simplifies re-deployment and improves operational flexibility, offering a principled path toward more intelligent and adaptable industrial robots. While his citation count reflects an emerging rather than established impact, his work is notable for bridging theoretical computer science with practical engineering challenges. By tackling the limitations of hard-coded autonomy, Bank is helping to lay the groundwork for the next generation of smart factories—systems that are not only safer and more efficient but also easier to reprogram for evolving production needs.
Research Focus
Key Achievements
Top Papers
- 1Temporal Logic (TL)-Based Autonomy for Smart Manufacturing Systems10 citations · 2018