The following pages link to GRKLib (Q32154):
Displaying 6 items.
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- The abstract domain of trapezoid step functions (Q1749121) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Computing bounded reach sets from sampled simulation traces (Q2986775) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (Q5240156) (← links)