State Based Control of Timed Discrete Event Systems using Binary Decision Diagrams

机译：基于二元决策图的定时离散事件系统的状态控制

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This work discusses a new synthesis approach to the supervisory control of Timed Discrete Event Systems (TDES). The new approach is much more efficient than the existing synthesis approaches. Using this method, many practical systems can be synthesized using a personal computer. The structural information of the timers for a given TDES together with the reduction properties of Binary Decision Diagrams(BDDs) are exploited to help the new method achieve efficient performance. The algorithm is based on the fact that each flat structure can be divided into smaller structures. The success of our approach is illustrated with large versions of an existing example taken from the literature.

机译：这项工作讨论了定时离散事件系统（TDES）监督控制的一种新的综合方法。新方法比现有的综合方法效率更高。使用这种方法，可以使用个人计算机合成许多实用的系统。利用给定TDES的计时器的结构信息以及二进制决策图（BDD）的约简性质，可以帮助新方法实现高效的性能。该算法基于以下事实：每个平面结构均可分为较小的结构。从文献中摘录的现有示例的大版本说明了我们方法的成功。

著录项

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

Department of Electrical and Computer Engineering University of Toronto Toronto, ON M5S 3G4;

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

相似文献

外文文献
中文文献
专利

1. State based control of timed discrete event systems using binary decision diagrams [J] . Saadatpoor A, Wonham WM Systems and Control Letters . 2007,第1期

机译：使用二进制决策图的定时离散事件系统的基于状态的控制
2. Binary decision diagram logic integrated circuit subsystems based on control of compound semiconductor nanowire networks [J] . Seiya Kasai, Miki Yumoto, Hideki Hasegawa 電子情報通信学会技術研究報告. シリコン材料·デバイス. Silicon Devices and Materials . 2002,第640期

机译：基于化合物半导体纳米线网络控制的二进制决策图逻辑集成电路子系统
3. Binary decision diagram logic integrated circuit subsystems based on control of compound semiconductor nanowire networks [J] . Seiya Kasai, Miki Yumoto, Hideki Hasegawa 電子情報通信学会技術研究報告. 電子デバイス. Electron Devices . 2002,第638期

机译：基于化合物半导体纳米线网络控制的二进制决策图逻辑集成电路子系统
4. State Based Control of Timed Discrete Event Systems using Binary Decision Diagrams [C] . Ali Saadatpoor, W. M. Wonham, University of Illinois at Urbana-Champaign, Annual Allerton Conference on Communication, Control, and Computing . 2004

机译：基于状态基于不同决策图的定时离散事件系统的控制
5. State-based control of timed discrete event systems using binary decision diagrams [D] . Saadatpoor, Ali. 2004

机译：使用二进制决策图的定时离散事件系统的基于状态的控制
6. Decision Making in Fuzzy Discrete Event Systems [O] . F. Lin, H. Ying, R. D. MacArthur, -1

机译：模糊离散事件系统中的决策
7. Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams [O] . Martin Byröd Bengt Lennartson, Arash Vahidi, Knut Akesson 2006

机译：基于二元决策图的模块化离散事件系统的有效可达性分析

State Based Control of Timed Discrete Event Systems using Binary Decision Diagrams

摘要

著录项

相似文献

相关主题

期刊订阅