Author:
Alur Rajeev,Grosu Radu,Lee Insup,Sokolsky Oleg
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference23 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Hierarchical modeling and analysis of embedded systems;Alur;Proceedings of the IEEE,2003
3. R. Alur, R. Grosu, Modular refinement of hierarchic reactive machines, in: Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, 2000, pp. 390–402.
4. Modular specifications of hybrid systems in CHARON;Alur,2000
5. R. Alur, R. Grosu, I. Lee, O. Sokolsky, Compositional refinement for hierarchical hybrid systems, in: Proceedings of Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 2034, Springer, March 2001, pp. 33–48.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31
2. A computable and compositional semantics for hybrid automata;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17
3. Model Conformance for Cyber-Physical Systems;ACM Transactions on Cyber-Physical Systems;2019-10-03
4. PGCD;Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems;2019-04-16
5. Trajectory-Based Theory for Hybrid Systems;Mathematical Control Theory I;2015