GRKLib
From MaRDI portal
Software:32154
swMATH20334MaRDI QIDQ32154FDOQ32154
Author name not available (Why is that?)
Cited In (6)
- 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
- Computing bounded reach sets from sampled simulation traces
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
This page was built for software: GRKLib
