2 papers
cs.RO2023
Path Planning in 3D with Motion Primitives for Wind Energy-Harvesting Fixed-Wing Aircraft
Seung-Keol Ryu, Michael Moncton, Han-Lim Choi +1
In this work, a set of motion primitives is defined for use in an energy-aware motion planning problem. The motion primitives are defined as sequences of control inputs to a simpli…
eess.SY2023
Formal Abstraction of General Stochastic Systems via Noise Partitioning
John Skovbekk, Luca Laurenti, Eric Frew +1
Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonli…