Stabilization of Port-Controlled Hamiltonian Systems Subject to Actuator Saturation

since it formally defines simple and complex vague spatial data types, has closure properties of vague spatial operations resulting in valid results, and introduces an expressive set