首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus
  • 本地全文:下载
  • 作者:Rusdi Md. Aminuddin ; He Jifeng ; Rosni Abdullah
  • 期刊名称:Malaysian Journal of Computer Science
  • 印刷版ISSN:0127-9084
  • 出版年度:2001
  • 卷号:14
  • 期号:2
  • 出版社:University of Malaya * Faculty of Computer Science and Information Technology
  • 摘要:This report presents a method to specify a set of controllers for a Robotics production cell using the Duration Calculus. The case study is adopted from a report by Claus Leverentz on specifying a real metal processing plant in Karlsruhe using other formal and semiformal methods. Our contribution to this case study aims at illustrating the methodology associated with the concept of shared state model and events for describing and specifying synchronised controllers. We use the notion of state to describe and model the sensors and actuators. Next, we apply the leadsto operator to list the assumptions which are aspects of the behaviour of the plant that cannot be controlled by the controllers. We then show how one can specify each controller using leadsto and state notation as shared variables for synchronising the interaction of the controllers. Specification are structured modularly according to the physical structure of the system.
  • 关键词:Formal method; Duration calculus; Concurrent controllers; and Production cell
国家哲学社会科学文献中心版权所有