14 citations · 15 across the 4 of their papers we have counts for
1 paper · 1 filter
Klaus Röbenack, Rick Voßwinkel, Hendrik Richter
This study covers an analytical approach to calculate positively invariant sets of dynamical systems. Using Lyapunov techniques and quantifier elimination methods, an automatic pro…