Find link

language:

Find link is a tool written by Edward Betts.

searching for Reachability analysis 14 found (18 total)

Uppaal Model Checker (177 words) [view diff] case mismatch in snippet view article find links to article

There are the following extensions available: Cora for Cost Optimal Reachability Analysis. Tron for Testing Real-time systems ON-line (black-box conformance

Hybrid system (1,559 words) [view diff] exact match in snippet view article find links to article

for (numerically rigorous) reachability analysis of nonlinear hybrid systems CORA: A MATLAB Toolbox for reachability analysis of cyber-physical systems

CPAchecker (389 words) [view diff] exact match in snippet view article find links to article

analysis with one formalism. When executed, CPAchecker performs a reachability analysis, i.e., it checks whether a certain state, which violates a given

Off-line programming (robotics) (208 words) [view diff] exact match in snippet view article

paths for the robot to perform a specific task. Robot movements, reachability analysis, collision and near-miss detection and cycle time reporting can

International Conference on Reachability Problems (458 words) [view diff] exact match in snippet view article find links to article

hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter timed/ cellular/ communicating

Isochrone map (1,761 words) [view diff] case mismatch in snippet view article find links to article

displaying isochrones from an OGR-supported data source (e.g. PostGIS) Reachability Analysis – An application (built using WhereOS and OSM data) which calculates

Lazy linear hybrid automaton (96 words) [view diff] case mismatch in snippet view article find links to article

hybrid automaton.[citation needed] [1] Formalization and theory behind the model Reachability Analysis of Lazy Linear Hybrid Automata Research v t e

Javier Esparza (803 words) [view diff] case mismatch in snippet view article find links to article

2011. He received the CONCUR Test-of Time Award 2021 for his paper Reachability Analysis of Pushdown Automata: Application to Model-checking (co-authored

International Conference on Concurrency Theory (954 words) [view diff] case mismatch in snippet view article find links to article

Relations" (CONCUR 1998) Ahmed Bouajjani, Javier Esparza & Oded Maler: "Reachability Analysis of Pushdown Automata: Application to Model-checking" (CONCUR 1997)

GTFS (1,895 words) [view diff] exact match in snippet view article find links to article

GTFS-based reachability analysis via Mapnificent

Tree automaton (2,042 words) [view diff] exact match in snippet view article find links to article

and unranked tree automata libraries (OCaml) Timbuk - tools for reachability analysis and tree automata calculations (OCaml) LETHAL - library for working

PragmaDev Studio (1,884 words) [view diff] case mismatch in snippet view article find links to article

Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis". John Wiley and Sons Inc. Haddad, Serge; Kordon, Fabrice; Pautet

Construction and Analysis of Distributed Processes (2,762 words) [view diff] exact match in snippet view article find links to article

of reachable states PREDICTOR, which predict the feasibility of reachability analysis, PROJECTOR, which computes abstractions of communicating systems

List of quantum logic gates (3,575 words) [view diff] exact match in snippet view article find links to article

output Boolean functions using a set of quantum gates by symbolic reachability analysis". IEEE Transactions on Computer-Aided Design of Integrated Circuits