A Lie-group framework for kinematic modeling and singularity-aware planning of redundant parallel mechanisms | Synapse