Numerical Abstract Domain Using Support Functions-Reference-Cited by-同舟云学术

Numerical Abstract Domain Using Support Functions

Published:2013 Issue: Volume: Page:155-169
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Seladji Yassamine,Bouissou Olivier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38088-4_11

Reference17 articles.

1. Lecture Notes in Computer Science;X. Allamigeon,2008

2. Bertsekas, D.P., Nedić, A., Ozdaglar, A.E.: Convex Analysis and Optimization. Athena Scientific Series in Optimization and Neural Computation. Athena Scientific (2003)

3. Lecture Notes in Computer Science;L. Chen,2009

4. Lecture Notes in Computer Science;M.A. Colón,2011

5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages (POPL 1977), pp. 238–252. ACM Press (1977)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version);Information and Computation;2022-11

2. Reachability Analysis of Linear Hybrid Systems via Block Decomposition;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-11

3. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11

4. Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method;Numerical Software Verification;2017

5. Finding Relevant Templates via the Principal Component Analysis;Lecture Notes in Computer Science;2017