找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Supervisory Control of Concurrent Systems; A Petri Net Structur Marian V. Iordache,Panos J. Antsaklis Book 2006 Birkhäuser Boston 2006 MATL

[复制链接]
查看: 19167|回复: 43
发表于 2025-3-21 19:13:37 | 显示全部楼层 |阅读模式
书目名称Supervisory Control of Concurrent Systems
副标题A Petri Net Structur
编辑Marian V. Iordache,Panos J. Antsaklis
视频video
概述Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field.A focus on both theory and practice: formal proofs are provided i
丛书名称Systems & Control: Foundations & Applications
图书封面Titlebook: Supervisory Control of Concurrent Systems; A Petri Net Structur Marian V. Iordache,Panos J. Antsaklis Book 2006 Birkhäuser Boston 2006 MATL
描述.Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings...The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event set
出版日期Book 2006
关键词MATLAB; Performance; Petri nets; concurrent systems; construction; correct-by-construction design; discret
版次1
doihttps://doi.org/10.1007/0-8176-4488-1
isbn_ebook978-0-8176-4488-8Series ISSN 2324-9749 Series E-ISSN 2324-9757
issn_series 2324-9749
copyrightBirkhäuser Boston 2006
The information of publication is updating

书目名称Supervisory Control of Concurrent Systems影响因子(影响力)




书目名称Supervisory Control of Concurrent Systems影响因子(影响力)学科排名




书目名称Supervisory Control of Concurrent Systems网络公开度




书目名称Supervisory Control of Concurrent Systems网络公开度学科排名




书目名称Supervisory Control of Concurrent Systems被引频次




书目名称Supervisory Control of Concurrent Systems被引频次学科排名




书目名称Supervisory Control of Concurrent Systems年度引用




书目名称Supervisory Control of Concurrent Systems年度引用学科排名




书目名称Supervisory Control of Concurrent Systems读者反馈




书目名称Supervisory Control of Concurrent Systems读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:55:31 | 显示全部楼层
Introduction,orld systems involve both continuous and discrete/logical signals. Further, it is often the case that in a system there are several activities carried out at the same time. This work addresses the supervisory control of concurrent systems, that is, systems that include subsystems operating in parall
发表于 2025-3-22 01:09:08 | 显示全部楼层
发表于 2025-3-22 05:58:33 | 显示全部楼层
发表于 2025-3-22 12:03:04 | 显示全部楼层
Decentralized Supervision of Petri Nets,utomata setting and has considered both versions of decentralized control, with communication and with no communication. This chapter considers the decentralized control of Petri nets by means of the SBPI [57, 142, 214]. Note that the SBPI has been introduced in chapter 3 in section 3.2. Compared to
发表于 2025-3-22 14:57:17 | 显示全部楼层
Deadlock and Liveness Properties of Petri Nets,orresponding supervision problems: deadlock prevention, liveness enforcement, and .-liveness enforcement. .-liveness enforcement means ensuring that all transitions in a transition subset . of a Petri net are live. Deadlock prevention corresponds to preventing the system from reaching a state of tot
发表于 2025-3-22 18:56:08 | 显示全部楼层
Liveness Enforcement in Petri Nets: A Structural Approach. Part I,flects a state of a Petri net in which no transition is enabled. A . supervisor ensures that the closed-loop system never enters a state of deadlock. A . . supervisor ensures that the closed-loop system never enters a state from which a transition in . can never be fired. . denotes .-liveness enforc
发表于 2025-3-22 22:38:15 | 显示全部楼层
发表于 2025-3-23 02:09:33 | 显示全部楼层
DES Control of Concurrent Hybrid Systems,ems. A possible paradigm is presented in Figures 9.1 and 9.2. Fig. 9.1 presents n subsystems operating in parallel. Fig. 9.2 presents a two-level control architecture. The lower level consists of the controllers .1, .2, ..., .. The role of the controllers is to govern the hybrid dynamics of the subs
发表于 2025-3-23 08:10:56 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-5 21:52
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表