Verification of linear hybrid systems by means of convex approximations
作者： Nicolas Halbwachs , Yann -Eric Proy , Pascal Raymond
关键词:
摘要: … Since verification problems are undecidable, we apply an approximate reachability analysis … in approximating sets of numerical states by their convex hull -- a convex polyhedron, ie, the …
core.ac.uk
springer.com
researchgate.net 
sci-hub.st 参考文章(17)
Rajeev Alur, David Dill, Automata for modeling real-time systems international colloquium on automata, languages and programming. pp. 322- 335 ,(1990) , 10.1007/BFB0032042
Rajeev Alur, Techniques for automatic verification of real-time systems Stanford University. ,(1992)
Nicolas Halbwachs, Détermination automatique de relations linéaires vérifiées par les variables d'un programme Institut National Polytechnique de Grenoble - INPG ; Université Joseph-Fourier - Grenoble I. ,(1979)
Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine, Integration Graphs: A Class of Decidable Hybrid Systems Hybrid Systems. pp. 179- 208 ,(1993) , 10.1007/3-540-57318-6_29
X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An Approach to the Description and Analysis of Hybrid Systems Hybrid Systems. pp. 149- 178 ,(1993) , 10.1007/3-540-57318-6_28
Patrick Cousot, Radhia Cousot, Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation international symposium on programming language implementation and logic programming. pp. 269- 295 ,(1992) , 10.1007/3-540-55844-6_142
Nicolas Halbwachs, Delay Analysis in Synchronous Programs computer aided verification. pp. 333- 346 ,(1993) , 10.1007/3-540-56922-7_28
Oded Maler, Zohar Manna, Amir Pnueli, From Timed to Hybrid Systems real time theory in practice rex workshop. pp. 447- 484 ,(1991) , 10.1007/BFB0032003
Patrick Cousot, Radhia Cousot, Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. pp. 238- 252 ,(1977) , 10.1145/512950.512973
R. Alur, T.A. Henzinger, P.-H. Ho, Automatic symbolic verification of embedded systems 1993 Proceedings Real-Time Systems Symposium. pp. 2- 11 ,(1993) , 10.1109/REAL.1993.393520