Designing Communicating Transaction Processes by Supervisory Control Theory

机译：用监督控制理论设计通信交易过程

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

A Communicating Transaction Process (CTP) is a computational model based on Message Sequence Charts (MSC) to describe a network of communicating components. Intensive study has been dedicated to the application and analysis of CTP models, but little work has reported formal methods of designing them. This paper attempts to bridge the gap with Supervisory Control Theory (SCT), so that the CTP models meet all predefined constraints and possess the required system properties. SCT is implemented by XPTCT software and the control logic obtained can be easily translated into propositional formulas for guarded MSCs.

机译：通信事务处理（CTP）是基于消息序列图（MSC）的计算模型，用于描述通信组件的网络。深入研究一直致力于CTP模型的应用和分析，但是很少有工作报道设计它们的正式方法。本文尝试用监督控制理论（SCT）弥补差距，以使CTP模型满足所有预定义的约束并拥有所需的系统属性。 SCT由XPTCT软件实现，所获得的控制逻辑可以轻松转换为受保护MSC的命题公式。

著录项

来源
《Annual Allerton Conference on Communication, Control, and Computing; 20040929-1001; Monticello,IL(US)》|2004年|P.1060-1069|共10页
会议地点 MonticelloIL(US)
作者
L. Feng; W.M. Wonham; P.S. Thiagarajan;
展开▼
作者单位

Dept. of Electrical and Computer Engineering University of Toronto Toronto, ON, Canada, M5S 3G4;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类通信;
关键词

相似文献

外文文献
中文文献
专利

1. Designing communicating transaction processes by supervisory control theory [J] . L. Feng, W. M. Wonham, P. S. Thiagarajan Formal Methods in System Design . 2007,第2期

机译：通过监督控制理论设计沟通交易流程
2. Structural method for supervisory control of discrete event within the framework of Petri nets: a one-to-one link between the supervisory control theory and the place invariant method [J] . Mohaman Gonza, Hassane Alla, Laurent Bitjoka International journal of systems science: operations & logistics . 2020,第3期

机译：Petri网框架内离散事件监督控制的结构方法：监督控制理论与地方不变方法之间的一对一联系
3. Decentralized supervisory control with communicating controllers [J] . Barrett G., Lafortune S. IEEE Transactions on Automatic Control . 2000,第9期

机译：具有通讯控制器的分散式监督控制
4. Designing Communicating Transaction Processes by Supervisory Control Theory [C] . L. Feng, W.M. Wonham, P.S. Thiagarajan, Annual Allerton Conference on Communication, Control, and Computing . 2004

机译：通过监督控制理论设计传送交易流程
5. Towards Supervisory Control for Remote Mobile Manipulation: Designing, Building, and Testing a Mobile Telemanipulation Test-Bed. [D] . Hernandez Herdocia, Alejandro. 2012

机译：迈向远程移动操纵的监督控制：设计，构建和测试移动远程操纵测试台。
6. Control compare and communicate: designing control charts to summarise efficiently data from multiple quality indicators [O] . B Guthrie, T Love, T Fahey, 2005

机译：控制比较和交流：设计控制图以有效汇总来自多个质量指标的数据
7. Designing dependable logic controllers using the supervisory control theory [O] . Roussel, Jean-Marc, Giua, Alessandro 2005

机译：使用监督控制理论设计可靠的逻辑控制器

Designing Communicating Transaction Processes by Supervisory Control Theory

摘要

著录项

相似文献

相关主题

期刊订阅