• RAMAS

  • Referenced in 12 articles [sw10958]
  • promises to be easily extendable to rectangular hybrid automata with multi-affine vector fields...
  • HARE

  • Referenced in 4 articles [sw10938]
  • Hybrid automata-based 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 ... semi-complete 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 high-level 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 open-source software tool...
  • UCI-ml

  • 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...