• KeYmaera

  • Referenced in 44 articles [sw03709]
  • hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover ... natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... first-order dynamic logic for hybrid programs, a program notation for hybrid automata. For automating ... automatic proof strategies that decompose the hybrid system specification symbolically. To overcome the complexity...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • class of hybrid systems described by interconnections of linear dynamic systems, automata ... then-else and propositional logic rules. Once a hybrid system is modeled in a human ... fashion, HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately...
  • PPL

  • Referenced in 101 articles [sw05357]
  • convex polyhedra is employed in several systems for the analysis and verification of hardware ... logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab...
  • HTab

  • Referenced in 12 articles [sw12427]
  • HTab: a Terminating Tableaux System for Hybrid Logic. Hybrid logic is a formalism that ... mechanisms for hybrid logic exist, but the only widely available implemented proof system, HyLoRes ... description logics. Tableaux algorithms have also been developed for a number of hybrid logics ... terminating tableaux algorithm for the hybrid logic H(@,A)H(@,A). The performance...
  • KeYmaera X

  • Referenced in 9 articles [sw40558]
  • dynamic logic ( ), a logic for specifying and verifying properties of hybrid systems. Reasoning about complicated...
  • WASP

  • Referenced in 56 articles [sw09565]
  • introduces WASP, an ASP solver handling disjunctive logic programs under the stable model semantics. WASP ... branching heuristics, WASP adopts the BerkMin criterion hybridized with look-ahead techniques. The paper also ... which WASP has been run on the system track of the third ASP Competition...
  • HyFIS

  • Referenced in 13 articles [sw24184]
  • adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy Inference System), for building and optimising fuzzy ... logic systems and provides linguistic meaning to the connectionist architectures. Heuristic fuzzy logic rules ... optimally tuned from training examples by a hybrid learning scheme comprised of two phases: rule ... backpropagation learning scheme for a neural fuzzy system. To illustrate the performance and applicability...
  • Spartacus

  • Referenced in 15 articles [sw12426]
  • Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive ... transitive relations. Spartacus is the first system to use pattern-based blocking for termination...
  • Breach

  • Referenced in 26 articles [sw20822]
  • analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach ... robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges...
  • UniForM

  • Referenced in 8 articles [sw10332]
  • logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search ... implemented on top of CP systems, yielding a powerful environment for combinatorial optimization...
  • ReSySTER

  • Referenced in 2 articles [sw09384]
  • paper presents ReSySTER, a hybrid recommender system based on fuzzy logic, rough set theory...
  • HI-maude

  • Referenced in 4 articles [sw09753]
  • maude tool. In complex hybrid systems, different components may influence each others’ continuous behaviors ... Maude is a rewriting-logic-based tool that supports an object-oriented modeling methodology ... physical interaction) objects in such interacting hybrid systems. HI-Maude supports simulation and model checking...
  • SPHIN

  • Referenced in 5 articles [sw19754]
  • SPHIN, a model checker for reconfigurable hybrid systems based on the model checker SPIN ... modeled in the same way as logical (discrete) mobility is modeled in the π-calculus ... modeling and verifying a reconfigurable hybrid system...
  • NMEEF-SD

  • Referenced in 6 articles [sw38286]
  • which is based on the hybridization between fuzzy logic and genetic algorithms, deals with subgroup ... rules of interest, and the evolutionary fuzzy system NMEEF-SD is based on the well...
  • HYPERS

  • Referenced in 5 articles [sw06392]
  • HYPERS: a unidimensional asynchronous framework for multiscale hybrid simulations. Treatment of disparate time-scales remains ... explicit time integration of multiscale numerical systems based on partial differential equations and particle techniques ... unidimensional infrastructure for asynchronous simulations on logically uniform meshes. As the first example of this ... present a new event-driven electromagnetic hybrid code, HYPERS (hybrid particle event-resolved simulator). This...
  • sitar

  • Referenced in 2 articles [sw40191]
  • falsification of hybrid systems. Falsification techniques for models of embedded control systems automate the process ... inputs that violate behavioral specifications given by logical and quantitative correctness requirements. A recent advance...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • language for modeling systems that mix discrete logical time and continuous time behaviors. From ... same source code. A dedicated type system and causality analysis ensure that all discrete changes ... possible to build a modeler for explicit hybrid systems à la Simulink/Stateflow...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • logical framework and foundation for analyzing and synthesizing cyber-physical systems. We demonstrate the expressiveness ... control systems, distributed priority synthesis for orchestrating system components, and synthesis for hybrid control systems...