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
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A computable and compositional semantics for hybrid systems;Information and Computation;2024-10
2. Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs;Lecture Notes in Computer Science;2024
3. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31
4. A computable and compositional semantics for hybrid automata;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17
5. Model Conformance for Cyber-Physical Systems;ACM Transactions on Cyber-Physical Systems;2019-10-03