The following pages link to GRKLib (Q32154):
Displayed 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)
- (Q5240156) (← links)