8 citations · 11 across the 20 of their papers we have counts for
3 papers · 1 filter
On ANN-enhanced positive invariance for nonlinear flat systems
Huu-Thinh Do, Ionela Prodan
The concept of positively invariant (PI) sets has proven effective in the formal verification of stability and safety properties for autonomous systems. However, the characterizati…
On maximal positive invariant set computation for rank-deficient linear systems
Bogdan Gheorghe, Daniel Ioan, Cristian Flutur +2
The maximal positively invariant (MPI) set is obtained through a backward reachability procedure involving the iterative computation and intersection of predecessor sets under stat…
Safe Navigation in Cluttered Environments Via Spline-Based Harmonic Potential Fields
Theodor-Gabriel Nicu, Florin Stoican, Daniel-Mihail Ioan +1
We provide a complete motion-planning mechanism that ensures target tracking and obstacle avoidance in a cluttered environment. For a given polyhedral decomposition of the feasible…