找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

掃一掃，訪問(wèn)微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 19248|回復(fù): 43
樓主
發(fā)表于 2025-3-21 19:13:37 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱Supervisory Control of Concurrent Systems
副標(biāo)題A Petri Net Structur
編輯Marian V. Iordache,Panos J. Antsaklis
視頻videohttp://file.papertrans.cn/882/881978/881978.mp4
概述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
叢書(shū)名稱Systems & Control: Foundations & Applications
圖書(shū)封面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
關(guān)鍵詞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

書(shū)目名稱Supervisory Control of Concurrent Systems影響因子(影響力)




書(shū)目名稱Supervisory Control of Concurrent Systems影響因子(影響力)學(xué)科排名




書(shū)目名稱Supervisory Control of Concurrent Systems網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Supervisory Control of Concurrent Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Supervisory Control of Concurrent Systems被引頻次




書(shū)目名稱Supervisory Control of Concurrent Systems被引頻次學(xué)科排名




書(shū)目名稱Supervisory Control of Concurrent Systems年度引用




書(shū)目名稱Supervisory Control of Concurrent Systems年度引用學(xué)科排名




書(shū)目名稱Supervisory Control of Concurrent Systems讀者反饋




書(shū)目名稱Supervisory Control of Concurrent Systems讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 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
板凳
發(fā)表于 2025-3-22 01:09:08 | 只看該作者
地板
發(fā)表于 2025-3-22 05:58:33 | 只看該作者
5#
發(fā)表于 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
6#
發(fā)表于 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
7#
發(fā)表于 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
8#
發(fā)表于 2025-3-22 22:38:15 | 只看該作者
9#
發(fā)表于 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
10#
發(fā)表于 2025-3-23 08:10:56 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-21 15:27
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
屏山县| 赤城县| 静乐县| 上虞市| 敖汉旗| 四子王旗| 荣成市| 手游| 资阳市| 阳西县| 竹溪县| 明光市| 阳城县| 固原市| 普安县| 永川市| 沙洋县| 鄯善县| 石台县| 崇信县| 海安县| 双流县| 内黄县| 宣武区| 桦南县| 恭城| 丽水市| 金阳县| 来安县| 宝丰县| 衡水市| 远安县| 黄石市| 定边县| 成武县| 莫力| 平遥县| 鄂伦春自治旗| 公主岭市| 揭东县| 桑植县|