Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing the Bandwidth of Meager Timed Automata;Lecture Notes in Computer Science;2024
2. Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards;Lecture Notes in Computer Science;2024
3. Testing membership for timed automata;Acta Informatica;2023-07-17
4. Optimal controller synthesis for timed systems;Logical Methods in Computer Science;2023-03-15
5. On Implementable Timed Automata;Formal Techniques for Distributed Objects, Components, and Systems;2020