Modular Control of Discrete-Event Systems With Coalgebra

Komenda J.; van Schuppen J.H.

首页> 外文期刊>IEEE Transactions on Automatic Control >Modular Control of Discrete-Event Systems With Coalgebra

【24h】

Modular Control of Discrete-Event Systems With Coalgebra

机译：具有Coalgebra的离散事件系统的模块化控制

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Modular supervisory control of discrete-event systems, where the overall system is a synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the sy

机译：考虑了离散事件系统的模块化监督控制，其中整个系统是子系统的同步（并行）产品。本文的主要结果是为sy之间的兼容性提供了充分条件的公式

著录项

来源
《IEEE Transactions on Automatic Control》 |2008年第2期|p.447-460|共14页
作者
Komenda J.; van Schuppen J.H.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动化系统;
关键词

相似文献

外文文献
中文文献
专利

1. Control of discrete-event systems with partial observations using coalgebra and coinduction [J] . Komenda J, Van Schuppen JH Discrete event dynamic systems: Theory and applications . 2005,第3期

机译：用代数和共导进行部分观测的离散事件系统的控制。
2. Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems [J] . Jayasiri A. Automation Science and Engineering, IEEE Transactions on . 2012,第2期

机译：模糊离散事件系统的模块化监督控制和分层监督控制
3. Local Modular Supervisory Control of Timed Discrete-Event Systems [J] . Germano Schafaschek, Max H. de Queiroz, José E. R. Cury Automatic Control, IEEE Transactions on . 2017,第2期

机译：定时离散事件系统的局部模块化监督控制
4. A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems [C] . Jan Komenda, Feng Lin, Jan H. van Schuppen IEEE Annual Conference on Decision and Control . 2019

机译：用于离散事件系统模块化控制中最大允许的统一方法
5. Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. [D] . Hill, Richard Charles. 2008

机译：使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
6. Progressive Modular Rebalancing System and Visual Cueing for Gait Rehabilitation in Parkinsons Disease: A Pilot Randomized Controlled Trial With Crossover [O] . Mariano Serrao, Francesco Pierelli, Elisabetta Sinibaldi, 2019

机译：渐进式模块化平衡系统和视觉提示用于帕金森氏病步态康复：交叉试验随机对照试验
7. Modular control of discrete-event systems with coalgebra [O] . Komenda J., Schuppen J.H. 2008

机译：带有代数的离散事件系统的模块化控制
8. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Flight Controls Module. Volume 3. [R] . Kelly, K., Brown, J., Kamsickas, G., 1993

机译：模块化模拟器系统（mss）。通用模块化模拟器系统的系统/段规范 - 飞行控制模块。第3卷。

Modular Control of Discrete-Event Systems With Coalgebra

摘要

著录项

相似文献

相关主题

期刊订阅