Publisher
Open Publishing Association
Reference14 articles.
1. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;R. Alur;Lecture Notes in Computer Science,1993
2. Automata For Modeling Real-Time Systems;R. Alur;Lecture Notes in Computer Science,1990
3. Modularity for timed and hybrid systems;R. Alur,1997
4. A control architecture for multiple submarines in coordinated search missions;J. B. De Sousa,2005
5. The SHIFT Programming Language for Dynamic Networks of Hybrid Automata;A. Deshpande;IEEE Transactions on automatic control,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献