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