Abstract: A system is provided with memory and a processor. The memory is configured to store data representative of a multi-valued decision diagram (MDD). The processor is in communication with the memory and is programmed to receive a current selection of one or more of the features, and to determine a feature state for each of the one or more features, based on the current selection and the possible configurations defined by the MDD. The processor is further programmed to calculate an availability bitset indicative of which features as available for further selection, consistent with the valid configurations and without violating existing constraints of the current selection.

Abstract: A system is provided with a memory device and a processor. The memory device is adapted to store data representative of a multi-valued decision diagram (MDD) specifying a buildable space of all possible configurations of a vehicle. The processor is in communication with the memory and is programmed to identify an invalid configuration, and to generate a restricted buildable space, including to determine an edit distance of each complete path indicative of a number of features to change the invalid configuration of that path to one of the valid configurations, identify a minimum of the edit distances, and remove configurations having edit distances larger than the minimum. The processor is further programmed to identify at least one feature to change the invalid configuration to at least one valid configuration based on the restricted buildable space; and to generate output indicative of the at least one feature to change.

Abstract: A system is provided with a memory device and a processor. The memory device is adapted to store data representative of a multi-valued decision diagram (MDD) specifying a buildable space of all possible valid configurations of a vehicle. The processor is in communication with the memory and is programmed to identify an invalid configuration, and to generate a restricted buildable space, including to determine an edit distance of each complete path indicative of a number of features to change the invalid configuration of that path to one of the valid configurations, identify a minimum of the edit distances, and remove configurations having edit distances larger than the minimum. The processor is further programmed to identify at least one feature to change the invalid configuration to at least one valid configuration based on the restricted buildable space; and to generate output indicative of the at least one feature to change.

Abstract: A system is provided with memory and a processor. The memory is configured to store data representative of a multi-valued decision diagram (MDD). The processor is in communication with the memory and is programmed to receive a current selection of one or more of the features, and to determine a feature state for each of the one or more features, based on the current selection and the possible valid configurations defined by the MDD. The processor is further programmed to calculate an availability bitset indicative of which features as available for further selection, consistent with the valid configurations and without violating existing constraints of the current selection.