
RAMAS
 Referenced in 12 articles
[sw10958]
 promises to be easily extendable to rectangular hybrid automata with multiaffine vector fields...

HARE
 Referenced in 4 articles
[sw10938]
 Hybrid automatabased CEGAR for rectangular hybrid systems. In this paper we present a framework ... refinement (CEGAR) for systems modelled as rectangular hybrid automata. The main difference, between our approach ... consider the abstractions to be hybrid automata as well. We show that the CEGAR scheme ... semicomplete for the class of rectangular hybrid automata and complete for the subclass...

SPeeDI
 Referenced in 7 articles
[sw00896]
 known that for most nontrivial subclasses of hybrid systems this and all interesting verification problems ... case for classes of rectangular automata and hybrid automata with linear vector fields. Most implemented...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

REDUCE
 Referenced in 740 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

CUDA
 Referenced in 1212 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 712 articles
[sw03455]
 Spin is a popular opensource software tool...

UCIml
 Referenced in 3111 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

CPLEX
 Referenced in 2602 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

PHAVer
 Referenced in 113 articles
[sw04123]
 In 1995, HyTech broke new ground as a...

HyTech
 Referenced in 327 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

RSOLVER
 Referenced in 71 articles
[sw04334]
 RSolver is a program for solving quantified inequality...

YALMIP
 Referenced in 962 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...

Benchmarks
 Referenced in 24 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation...

Genocop
 Referenced in 1081 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...