Receding Time Horizon Self-Tracking and Assessment for Autonomous Manufacturing

Next-generation production and manufacturing plants create individualized products by automatically deriving production schedules from design specifications. However, because planning and scheduling are computationally hard, they must typically be done off-line using a simplified system model, and are consequently unaware of on-line observations and potential component faults. This leads to a self-assessment problem we call plan assessment: Given behavior models and current observations of the plant's (possibly faulty) behavior, how likely is it that partially executed manufacturing plans will still succeed? A previously developed self-assessment capability generates k most probable system behaviors as solutions of a constraint optimization problem. However, it only allows single products and doesn't scale well with the schedule length. In this work, we extend the capability towards multiple products and generate k most probable system behaviors only within a small, fixed time window, which is then moved to cover schedules longer than the time window. Experiments show the feasibility of this approximative approach.

[1]  Thomas Rühr,et al.  Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production , 2009, KI.

[2]  Jürgen Gausemeier From mechatronics to self-optimizing concepts and structures in mechanical engineering: new approaches to design methodology , 2005, Int. J. Comput. Integr. Manuf..

[3]  Michael Beetz,et al.  Cognitive Technical Systems - What Is the Role of Artificial Intelligence? , 2007, KI.

[4]  Stefan Waldherr,et al.  Plan Assessment for Autonomous Manufacturing as Bayesian Inference , 2010, KI.

[5]  Brian C. Williams,et al.  Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior , 2001, IJCAI.

[6]  Tazeen Mahtab,et al.  Automated verification of model-based programs under uncertainty , 2004 .

[7]  Jan J. M. M. Rutten,et al.  Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[8]  Brian C. Williams,et al.  Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior , 2005, AAAI.

[9]  L. Ferrarini,et al.  Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[10]  M. Althoff,et al.  Online Verification of Cognitive Car Decisions , 2007, 2007 IEEE Intelligent Vehicles Symposium.

[11]  Thomas Rühr,et al.  Automated plan assessment in cognitive manufacturing , 2010, Adv. Eng. Informatics.

[12]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.