Politecnico di Milano Dipartimento di Elettronica e Informazione Piazza L. Da Vinci 32 20133 Milano Italy (e-mail: castelnu@delet.polimi.it);
机译:托盘处理系统-具有自动化功能的新加工中心可提高生产率并减少库存水平
机译:自动化改造:为两个加工中心服务的托盘存储和检索系统可提高生产率
机译:X机通信:大型系统的正式和模块化规范的实用方法
机译:机械加工中心自动化托盘运输系统模块化正式模型
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:网络物理系统和制造奇点的机器学习 - 它并不意味着完全自动化,人类仍在中心:第一部分 - 制造奇点和智能机器架构
机译:初步小型飞机运输系统(saTs)概念的形式化建模与分析