Author:
Sankaranarayanan Sriram,Tiwari Ashish
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Abate, A., Tiwari, A., Sastry, S.: Box invariance in biologically-inspired dynamical systems. Automatica 45(7), 1601–1610 (2009)
2. Lecture Notes in Computer Science;R. Alur,2003
3. Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43, 451–476 (2007)
4. Berdine, J., Chawdhary, A., Cook, B., Distefano, D., O’Hearn, P.W.: Variance analyses from invariance analyses. In: POPL, pp. 211–224. ACM, New York (2007)
5. Lecture Notes in Computer Science;M. Berz,2006
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Closure Certificates;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. On the Trade-Off Between Efficiency and Precision of Neural Abstraction;Quantitative Evaluation of Systems;2023
3. Automating Geometric Proofs of Collision Avoidance with Active Corners;Form Comp Aid Design;2022
4. Abstract Simulation of Reaction Networks via Boolean Networks;Computational Methods in Systems Biology;2022
5. The refinement calculus of reactive systems;Information and Computation;2021-11