• HyTech

  • Referenced in 321 articles [sw04125]
  • condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified...
  • MPT

  • Referenced in 209 articles [sw04732]
  • controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code is guaranteed...
  • PHAVer

  • Referenced in 107 articles [sw04123]
  • potentially powerful tool for verifying hybrid systems – yet it has remained severely limited ... applicability to more complex systems. We address the main problems of HyTech with PHAVer ... exact verification of safety properties of hybrid systems with piecewise constant bounds on the derivatives...
  • SpaceEx

  • Referenced in 65 articles [sw10939]
  • SpaceEx: Scalable Verification of Hybrid Systems. We present a scalable reachability algorithm for hybrid systems ... SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full ... fixed-point computations with hybrid systems with more than 100 variables illustrate the scalability...
  • Scilab

  • Referenced in 165 articles [sw00834]
  • Analysis: Standard algorithms and tools for control system study Signal Processing: Visualize, analyze and filter ... data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems...
  • PPL

  • Referenced in 92 articles [sw05357]
  • convex polyhedra is employed in several systems for the analysis and verification of hardware ... synchronization protocols, real-time and hybrid systems. Since the seminal work of P. Cousot...
  • GloMIQO

  • Referenced in 65 articles [sw06266]
  • sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactor-separator...
  • KeYmaera

  • Referenced in 40 articles [sw03709]
  • KeYmaera: A hybrid theorem prover for hybrid systems. KeYmaera is a hybrid verification tool ... hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies ... natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... automatic proof strategies that decompose the hybrid system specification symbolically. To overcome the complexity...
  • d/dt

  • Referenced in 35 articles [sw10314]
  • reachability analysis of continuous and hybrid systems with linear differential inclusions. The d/dt tool ... verification of hybrid systems. We describe the tool d/dt which provides automatic safety verification ... hybrid systems with linear continuous dynamics with uncertain input. The verification procedure is based...
  • HYSDEL

  • Referenced in 37 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems ... propositional logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL...
  • ANFIS

  • Referenced in 260 articles [sw08730]
  • inference system implemented in the framework of adaptive networks. By using a hybrid learning procedure ... nonlinear components on-line in a control system, and predict a chaotic time series...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages...
  • DISCOVERER

  • Referenced in 40 articles [sw07719]
  • Based on the work of complete discrimination systems of polynomials [33,31],, we invented ... programs, and reachability computation of hybrid systems...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • version of Clean offers a hybrid type system with both static as well as dynamic...
  • STeP

  • Referenced in 36 articles [sw17948]
  • verification of reactive, real-time and hybrid systems based on their temporal specification. Unlike most...
  • Flow*

  • Referenced in 21 articles [sw20162]
  • Flow*: an analyzer for non-linear hybrid systems. The tool Flow* performs Taylor model-based ... flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...
  • Benchmarks

  • Referenced in 24 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... safety verification of non-linear hybrid systems. We start from a classical method that uses...
  • HySAT

  • Referenced in 23 articles [sw01980]
  • engine for bounded model checking of hybrid systems n this paper we present HySAT ... bounded model checker for linear hybrid systems, incorporating a tight integration of a DPLL-based ... decision strategies, and extends them to the hybrid domain. We demonstrate that those optimizations...
  • Hybrid Toolbox

  • Referenced in 24 articles [sw15053]
  • toolbox for modeling, simulating, and verifying hybrid dynamical systems, for designing ... simulating model predictive controllers for hybrid systems subject to constraints, and for generating linear...
  • Charon

  • Referenced in 20 articles [sw19755]
  • Modular specification of hybrid systems in Charon. A new language, called Charon, is proposed ... modular specification of interacting hybrid systems. For a hierarchical description of the system architecture, Charon...