机译:Mosaik:自组织制造系统的正式模型
Univ Erlangen Nurnberg D-90403 Nurnberg Germany;
Univ Erlangen Nurnberg D-90403 Nurnberg Germany;
Otto von Guericke Univ D-39106 Magdeburg Germany;
Otto von Guericke Univ D-39106 Magdeburg Germany;
German Res Ctr Artificial Intelligence D-66123 Saarbrucken Germany;
German Res Ctr Artificial Intelligence D-66123 Saarbrucken Germany;
Otto von Guericke Univ D-39106 Magdeburg Germany;
Univ Erlangen Nurnberg D-90403 Nurnberg Germany;
Manufacturing; Unified modeling language; Biological system modeling; Optimization; Computer architecture; Complexity theory; Workstations; Self-organizing networks;
机译:系统制造系统替代表示的正式模型
机译:使用FSZ-Automaton与CLS标准的零件制造系统的正式建模与验证
机译:网络物理制造系统的正式建模和控制:
机译:半正式和正式模型应用于柔性制造系统
机译:用于分析和控制涉及人的计算机集成制造系统的正式模型。
机译:使用正式方法应对智能制造系统的性能挑战:关注敏捷性
机译:适用于柔性制造系统的半正式和形式模型⋆
机译:“动态系统建模与控制中的自组织人工神经网络”补充