50 citations · 249 across the 50 of their papers we have counts for
3 papers · 1 filter
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker +2
In addition to conventional ground rovers, the Mars 2020 mission will send a helicopter to Mars. The copter's high-resolution data helps the rover to identify small hazards such as…
Similarity quantification for linear stochastic systems: A coupling compensator approach
B. C. van Huijgevoort, S. Haesaert
For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds…
Convex Incremental Dissipativity Analysis of Nonlinear Systems - Extended version
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert +1
Efficiently computable stability and performance analysis of nonlinear systems becomes increasingly more important in practical applications. Dissipativity can express stability an…