Keyword

reachability analysis

Description: A formal method in computer science and control theory for determining whether a system can reach specified states from given initial conditions.

Primary topic: Formal Methods in Verification (43%)

Wikidata ID: wiki/Q60790438

OpenAlex ID: keywords/reachability-analysis

Petri nets: Properties, analysis and applications

1989 · T. Murata · Proceedings of the IEEE · 10,622

The algorithmic analysis of hybrid systems

1995 · R. Alur, C. Courcoubetis, et al. · Theoretical Computer Science · 1,884

PDF

An introduction to hybrid dynamical systems

2000 · Arjan van der Schaft, Hans Schumacher · Lecture notes in control and information sciences · 1,216

PDF

Analysis of Recursive Game Graphs Using Data Flow Equations

2004 · K. Etessami · Lecture notes in computer science · 1,133

SpaceEx: Scalable Verification of Hybrid Systems

2011 · Goran Frehse, Colas Le Guernic, et al. · Lecture notes in computer science · 871

Reachability analysis of pushdown automata: Application to model-checking

1997 · Ahmed Bouajjani, Javier Esparza, et al. · Lecture notes in computer science · 653

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

2007 · Stephen Prajna, Ali Jadbabaie, et al. · IEEE Transactions on Automatic Control · 641

PDF

Reachability of Uncertain Linear Systems Using Zonotopes

2005 · Antoine Girard · Lecture notes in computer science · 599

CPAchecker: A Tool for Configurable Software Verification

2011 · Dirk Beyer, M. Erkan Keremoglu · Lecture notes in computer science · 592

PDF

Flow*: An Analyzer for Non-linear Hybrid Systems

2013 · Xin Chen, Erika Ábrahám, et al. · Lecture notes in computer science · 527

Ellipsoidal Techniques for Reachability Analysis

2000 · Alexander B. Kurzhanski, Pravin Varaiya · Lecture notes in computer science · 458

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

2010 · Alexandre Donzé · Lecture notes in computer science · 456

Maneuver-based motion planning for nonlinear systems with symmetries

2005 · E. Frazz, M.A. Dahleh, et al. · IEEE Transactions on Robotics · 440

Software Verification with BLAST

2003 · Thomas A. Henzinger, Ranjit Jhala, et al. · Lecture notes in computer science · 429

Online Verification of Automated Road Vehicles Using Reachability Analysis

2014 · Matthias Althoff, John M. Dolan · IEEE Transactions on Robotics · 412

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

2000 · Eugene Asarin, Olivier Bournez, et al. · Lecture notes in computer science · 343

Algorithms for Verifying Deep Neural Networks

2020 · Changliu Liu, Tomer Arnon, et al. · Foundations and Trends® in Optimization · 336

PDF

Algorithmic analysis of nonlinear hybrid systems

1995 · Thomas A. Henzinger, Pei -Hsin Ho · Lecture notes in computer science · 306

An Improvement in Formal Verification

1995 · Gerard J. Holzmann, Doron Peled · IFIP advances in information and communication technology · 301

PDF

Robust hybrid control for autonomous vehicle motion planning

2002 · E. Frazzoli, M.A. Dahleh, et al. · Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes · 298

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids

2017 · Omar Ali Beg, Taylor T. Johnson, et al. · IEEE Transactions on Industrial Informatics · 297

Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization

2008 · Matthias Althoff, Olaf Stursberg, et al. · Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes · 291

Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars

2010 · Matthias Althoff · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 286

PDF

Formal methods in PLC programming

2002 · G. Frey, L. Litz · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · 286

Completeness and consistency in hierarchical state-based requirements

1996 · M.P.E. Heimdahl, N.G. Leveson · IEEE Transactions on Software Engineering · 282

Works count: 7,528

Citation count: 100,000