A Calculated Implementation of a Control System

机译：控制系统的计算实现

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, a case study consisting of a plant, and associated control laws, is presented. An abstract specification of the control system is given in Hoare's Communicating Sequential Processes (CSP). Via a series of calculated refinements, an implementation is developed, and translated into a simulation in a Java-based library for CSP, JCSP. Verification of the development process is performed using the model-checker for CSP, FDR. The result is a complete, verified implementation of the control system.

机译：在本文中，提出了一个由工厂和相关控制律组成的案例研究。 Hoare的通信顺序过程（CSP）中给出了控制系统的抽象规范。通过一系列计算得出的改进，开发了一种实现，并将其转换为基于Java的CSP，JCSP库中的仿真。使用CSP，FDR的模型检查器执行开发过程的验证。结果是控制系统的完整，经过验证的实施。

著录项

来源
《WoTUG(World Occam and Transputer User Group) Technical Meeting; 20040905-08; Oxford Brookes University(GB) 》|2004年|P.265-280|共16页
会议地点 Oxford Brookes University(GB)
作者
Alistair A. McEWAN;
展开▼
作者单位

Computing Laboratory, University of Kent at Canterbury, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机网络 ;
关键词

相似文献

外文文献
中文文献
专利

1. Use of a Spreadsheet-based Computer Program To Calculate Chemical Additions and Implement A Feedback Control System [J] . M. R. Eckstein, C. P. Bowers Plating & Surface Finishing . 1995 ,第5期

机译：使用基于电子表格的计算机程序来计算化学加成并实施反馈控制系统
2. The implementation of an algorithm to calculate thermodynamic equilibria for multi-component systems with non-ideal phases in a free software [J] . Sundman Bo, Lu Xiao-Gang, Ohtani Hiroshi Computational Materials Science . 2015 ,第Null期

机译：在免费软件中实现计算具有非理想相的多组分系统热力学平衡的算法的实现
3. Wear of dies, measured and calculated by the process control system in a drawing machine: Industrial tests found that, because of variables inherent in the methodology, a process control system is not accurate enough to properly monitor die wear [J] . Magnus Jarl, Fredrik Axelsson Wire Journal International . 2009 ,第10期

机译：模具磨损，由拉拔机中的过程控制系统测量和计算：工业测试发现，由于方法中固有的变量，过程控制系统的准确性不足以正确监控模具的磨损
4. Implementation of the PWM pre-calculated technique for elimination harmonic using microcontroller [C] . Habib. Dallagi, Sami Bouzaiane 2017 International Conference on Advanced Systems and Electric Technologies . 2017

机译：使用微控制器实现PWM预计算技术以消除谐波
5. Secure framework for implementing distributed networked control systems with mobile observers using heterogeneous controllers [D] . Padilla-Franco, Javitt Higmar Nahitt. 2017

机译：使用异构控制器通过移动观察器实现分布式网络控制系统的安全框架
6. A calculated response: control of inflammation by the innate immune system [O] . Gregory M. Barton 2008

机译：计算得出的反应：通过先天免疫系统控制炎症
7. DIGITAL CONTROL SYSTEMS IMPLEMENTATION TECHNIQUES, VOLUME 70 OF CONTROL AND DYNAMIC SYSTEMS: ADVANCES IN THEORY AND APPLICATIONS, C. Leondes (ed), Academic Press, San Diego, 1995, 390 pp., ISBN 0-12-0127702, $99.00 DISCRETE-TIME CONTROL SYSTEM ANALYSIS AND DESIGN, VOLUME 71 OF CONTROL AND DYNAMIC SYSTEMS: ADVANCES IN THEORY AND APPLICATIONS, C. Leondes (ed), Academic Press, San Diego, 1995, 410 pp., ISBN 0-12-0127715, $99.00 DISCRETE-TIME CONTROL SYSTEM IMPLEMENTATION TECHNIQUES, VOLUME 72 OF CONTROL AND DYNAMIC SYSTEMS: ADVANCES IN THEORY AND APPLICATIONS, C. Leondes (ed), Academic Press, San Diego, 1995, 388 pp., ISBN 0-12-0127725, $99.00 TECHNIQUES IN DISCRETE-TIME STOCHASTIC CONTROL SYSTEMS, VOLUME 73 OF CONTROL AND DYNAMIC SYSTEMS: ADVANCES IN THEORY AND APPLICATIONS, C. Leondes (ed), Academic Press, San Diego, 1995, 380 pp., ISBN 0-12-0127734, $99.00 TECHNIQUES IN DISCRETE AND CONTINUOUS ROBUST SYSTEMS, VOLUME 74 OF CONTROL AND DYNAMIC SYSTEMS: ADVANCES IN THEORY AND APPLICATIONS, C. Leondes (ed), Academic Press, San Diego, 1995, 412 pp., ISBN 0-12-0127741, $99.00 [O] . D. SUBBARAM NAIDU 1997

机译：数字控制系统的实施技术，控制和动态系统的第70卷：理论和应用的进步，C.丝丝（ED），学术出版社，圣地亚哥，1995,390 PP，ISBN 0-12-0127702，99.00美元离散时间控制系统分析和设计，控制和动态系统的第71卷：理论和应用的进步，C.丝丝（ED），学术出版社，圣地亚哥，1995,410 PP，ISBN 0-12-0127715，99.00美元离散时间控制系统实现技术，控制和动态系统的第72卷：理论和应用的进步，C.丝丝（ED），学术出版社，圣地亚哥，1995,388 pp，ISBN 0-12-0127725，99.00美元的离散 - 时间随机控制系统，控制和动态系统的VOLUME 73：前进，理论与应用，C Leondes（ED），学术出版社，圣地亚哥，1995年，380页，ISBN 0-12-0127734，在离散和$ 99.00技术。连续稳健的系统，控制和动态系统的第74卷：理论和应用的进步，C. leondes（ed），学术出版社，圣地亚哥，1995,412 pp。，ISBN 0-12-0127741，99.00美元

A Calculated Implementation of a Control System

摘要

著录项

相似文献

相关主题

期刊订阅