Situation Calculus for Synthesis of Manufacturing Controllers

Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities u0027bidu0027 to produce products. To decide whether to bid for a complex, previously unseen product, a manufacturing facility must be able to synthesize, u0027on the flyu0027, a process plan controller that ...More