Efficient Sink-Reachability Analysis via Graph Reduction

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/tkde.2021.3052710 ◽

2021 ◽

pp. 1-1

Author(s):

Jens Dietrich ◽

Lijun Chang ◽

Long Qian ◽

Lyndon M. Henry ◽

Catherine Mccartin ◽

...

Keyword(s):

Reachability Analysis ◽

Graph Reduction

Download Full-text

FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability

Proceedings of the ACM on Programming Languages ◽

10.1145/3428246 ◽

2020 ◽

Vol 4 (OOPSLA) ◽

pp. 1-29

Author(s):

Ana Milanova

Keyword(s):

Reachability Analysis ◽

Graph Reduction ◽

Generalized Type

Download Full-text

Trajectory Planning Under Stochastic and Bounded Sensing Uncertainties Using Reachability Analysis

Proceedings of the 33rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2020) ◽

10.33012/2020.17518 ◽

2020 ◽

Author(s):

Akshay Shetty ◽

Grace Xingxin Gao

Keyword(s):

Trajectory Planning ◽

Reachability Analysis

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

Symbolic Reachability Analysis of Hybrid Systems

Journal of Software ◽

10.3724/sp.j.1001.2008.03111 ◽

2009 ◽

Vol 19 (12) ◽

pp. 3111-3121 ◽

Author(s):

Hai-Bin ZHANG ◽

Zhen-Hua DUAN

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01289 ◽

2013 ◽

Vol 33 (5) ◽

pp. 1289-1293

Author(s):

Jin ZOU ◽

Wang LIN ◽

Yong LUO ◽

Zhenbing ZENG

Keyword(s):

Hybrid Systems ◽

Reachability Analysis ◽

Nonlinear Hybrid

Download Full-text

Reachability analysis for hybrid systems with nonlinear guard sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382194 ◽

2020 ◽

Author(s):

Niklas Kochdumper ◽

Matthias Althoff

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

An abstract machine for parallel graph reduction

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99387 ◽

1989 ◽

Author(s):

Lal George

Keyword(s):

Graph Reduction ◽

Abstract Machine ◽

Download Full-text

A generalized graph reduction framework for interactive segmentation of large images

Computer Vision and Image Understanding ◽

10.1016/j.cviu.2016.05.009 ◽

2016 ◽

Vol 150 ◽

pp. 44-57 ◽

Author(s):

Houssem-Eddine Gueziri ◽

Michael J. McGuffin ◽

Catherine Laporte

Keyword(s):

Graph Reduction ◽

Interactive Segmentation

Download Full-text

A tool-suite for reachability analysis of concurrent object-oriented programs

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640173 ◽

2002 ◽

Author(s):

S. Iyer ◽

S. Ramesh

Keyword(s):

Object Oriented ◽

Reachability Analysis

Download Full-text

Trace Compaction using SAT-based Reachability Analysis

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358109 ◽

2007 ◽

Author(s):

Sean Safarpour ◽

Andreas Veneris ◽

Hratch Mangassarian

Keyword(s):

Reachability Analysis

Download Full-text