1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Jared Miller, Roy S. Smith
This paper presents algorithms that upper-bound the peak value of a state function along trajectories of a continuous-time system with rational dynamics. The finite-dimensional but…