GRKLib
From MaRDI portal
Cited in
(19)- HolPy
- HybridFluctuat
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- The abstract domain of trapezoid step functions
- VERICOMP
- S-TaLiRo
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- ODEIntegrator
- Computing bounded reach sets from sampled simulation traces
- PESSOA
- SReach
- Hybrid Trace Verifier
- Proving the Correctness of the Implementation of a Control-Command Algorithm
- LTLMoP
- ROCS
- pFaces
- DynIbex
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
- CBench
This page was built for software: GRKLib
