GRKLib
From MaRDI portal
swMATH20334MaRDI QIDQ32154FDOQ32154
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1338693
Cited In (19)
- CBench
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
- The abstract domain of trapezoid step functions
- Proving the Correctness of the Implementation of a Control-Command Algorithm
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- HybridFluctuat
- VERICOMP
- S-TaLiRo
- ODEIntegrator
- PESSOA
- Hybrid Trace Verifier
- SReach
- ROCS
- LTLMoP
- pFaces
- DynIbex
- Computing bounded reach sets from sampled simulation traces
- HolPy
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
This page was built for software: GRKLib
