找回密碼
 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ù)制鏈接]
查看: 19249|回復(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ù) 返回頂部 返回列表
六安市| 雷山县| 阿拉善右旗| 汉川市| 清水河县| 营口市| 永善县| 陆良县| 雷州市| 淮安市| 巴彦县| 五指山市| 荔波县| 永登县| 汤阴县| 朝阳区| 永修县| 沙田区| 莱西市| 香港| 光山县| 永昌县| 兴仁县| 乐亭县| 颍上县| 云龙县| 乌苏市| 隆尧县| 临猗县| 迁西县| 永寿县| 巴里| 册亨县| 漳浦县| 廉江市| 巴马| 九龙城区| 雷州市| 阿拉善右旗| 兰州市| 伽师县|