• DUNE-FEM

  • Referenced in 38 articles [sw03084]
  • generic interface for parallel and adaptive discretization schemes: Abstraction principles and the DUNE-FEM module ... Starting from an abstract mathematical notion of discrete function spaces and operators, we derive ... general abstraction for a large class of grid-based discretization schemes for stationary and instationary ... concepts are based on a corresponding abstract definition of a parallel and hierarchical adaptive grid...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • symbolic models, also known as discrete abstractions. The tool accepts a differential equation ... differential equation together with a number of discretization parameters to compute a symbolic model that ... closed loop system and to visualize the abstract state space together with the atomic propositions...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • tool for controller synthesis using multi-scale abstractions. We introduce CoSyMA, a tool for automatic ... switched systems based on multi-scale discrete abstractions. The tool accepts a description ... state-space on which discrete abstractions are computed. The tool generates a controller...
  • GOLOG

  • Referenced in 172 articles [sw02159]
  • written at a much higher level of abstraction than is usually possible. The language appears ... robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based...
  • FEMPAR

  • Referenced in 21 articles [sw21297]
  • state-of-the-art discretization techniques and highly scalable solvers for the simulation of complex ... detailed introduction to the software abstractions used in the discretization module and the related geometrical...
  • GeoPDEs

  • Referenced in 116 articles [sw06413]
  • many IGA methods for the discretization of partial differential equations currently studied, mainly based ... relation to a quite comprehensive, abstract definition...
  • Nettle

  • Referenced in 4 articles [sw25231]
  • such has both continuous and discrete abstractions, each of which is leveraged in the design...
  • Essence

  • Referenced in 22 articles [sw27491]
  • natural language and discrete mathematics. Essence provides a high level of abstraction, much of which...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined ... dtMP model is specified in MATLAB and abstracted as a finite-state Markov chain...
  • GRINS

  • Referenced in 6 articles [sw21301]
  • state-of-the-art discretization techniques and highly scalable solvers for the simulation of complex ... detailed introduction to the software abstractions used in the discretization module and the related geometrical...
  • HybridSal

  • Referenced in 7 articles [sw11781]
  • tool that performs Hybrid Abstraction (PDF) to automatically generate discrete SAL specifications that...
  • BETA

  • Referenced in 29 articles [sw03114]
  • just as well be built from existing abstractions – provided these are sufficiently flexible and general ... from BetaSIM, a high-level framework for discrete event simulation. The paper concludes with...
  • pyMOR

  • Referenced in 19 articles [sw12978]
  • pyMOR are formulated in terms of abstract interfaces for seamless integration with external high-dimensional ... implementations of finite element and finite volume discretizations using the NumPy/SciPy scientific computing stack...
  • ump

  • Referenced in 27 articles [sw12360]
  • randomized tests and perform badly on discrete data at small and moderate sample sizes ... value notion, called fuzzy P-values or abstract randomized P-values, that also inherits...
  • FEMSTER

  • Referenced in 21 articles [sw00275]
  • used for high-order spatial discretizations of well-known $\cal H(\text ... software consists of a set of abstract interfaces and concrete classes, providing a framework...
  • CellML

  • Referenced in 27 articles [sw05635]
  • models are represented as a collection of discrete components linked by connections to form ... similar tasks, or a convenient modelling abstraction. Components may contain variables, mathematical relationships that specify...
  • Sundance

  • Referenced in 19 articles [sw10599]
  • high-level problem description, using abstract concepts such as functions, operators, and regions. With this ... variational formulation of a PDE and its discretization method in a small amount of user...
  • AutoMOTGen

  • Referenced in 5 articles [sw09718]
  • Implements sampling time abstraction to generate tests with lesser number of (discrete) steps...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • finite abstractions of autonomous Max-Plus-Linear (MPL) systems, a class of discrete-event systems ... related to the synchronization of successive events. Abstractions of MPL systems are derived as finite...
  • Slate

  • Referenced in 5 articles [sw31053]
  • Slate: extending Firedrake’s domain-specific abstraction to hybridized solvers for geoscience and beyond. Within ... point and elliptic systems arising from these discretizations continue to be an on-going challenge ... method known as hybridization, where the discrete equations are transformed such that classic static condensation ... this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that...