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

PHAVer
 Referenced in 81 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 veriﬁcation of safety properties of hybrid systems with piecewise constant bounds on the derivatives...

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

Scilab
 Referenced in 107 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 51 articles
[sw05357]
 convex polyhedra is employed in several systems for the analysis and verification of hardware ... synchronization protocols, realtime and hybrid systems. Since the seminal work of P. Cousot...

d/dt
 Referenced in 30 articles
[sw10314]
 d/dt tool for verification of hybrid systems. We describe the tool d/dt which provides automatic ... safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure...

SpaceEx
 Referenced in 24 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 ... fixedpoint computations with hybrid systems with more than 100 variables illustrate the scalability...

ANFIS
 Referenced in 208 articles
[sw08730]
 inference system implemented in the framework of adaptive networks. By using a hybrid learning procedure ... nonlinear components online in a control system, and predict a chaotic time series...

GloMIQO
 Referenced in 28 articles
[sw06266]
 sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactorseparator...

HYSDEL
 Referenced in 23 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 humanreadable fashion, HYSDEL...

KeYmaera
 Referenced in 17 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...

HySAT
 Referenced in 20 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 DPLLbased ... decision strategies, and extends them to the hybrid domain. We demonstrate that those optimizations...

Benchmarks
 Referenced in 19 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... safety verification of nonlinear hybrid systems. We start from a classical method that uses...

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

STeP
 Referenced in 26 articles
[sw17948]
 verification of reactive, realtime and hybrid systems based on their temporal specification. Unlike most...

DISCOVERER
 Referenced in 23 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 32 articles
[sw01346]
 version of Clean offers a hybrid type system with both static as well as dynamic...

TCHAT
 Referenced in 13 articles
[sw13068]
 continuation of periodic trajectories in hybrid dynamical systems. This paper describes the underlying formulation ... perform bifurcation analysis of systems in which continuousintime dynamics are interrupted by discrete ... time events, often referred to as hybrid dynamical systems. Boundaryvalueproblem formulations corresponding ... bifurcation analysis of a few example hybrid dynamical systems...

SPIKE
 Referenced in 22 articles
[sw02780]
 parallel environment for solving banded linear systems. The hybrid banded linear solver SPIKE is proposed...

MAGMA
 Referenced in 28 articles
[sw12741]
 heterogeneous/hybrid architectures, starting with current ”Multicore+GPU” systems. The MAGMA research is based ... address the complex challenges of the emerging hybrid environments, optimal software solutions will themselves have ... algebra algorithms and frameworks for hybrid manycore and GPU systems that can enable applications...