找回密碼
 To register

QQ登錄

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

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

打印 上一主題 下一主題

Titlebook: Discrete Event Systems; Analysis and Control R. Boel,G. Stremersch Book 2000 Springer Science+Business Media Dordrecht 2000 Analysis.Model

[復(fù)制鏈接]
樓主: 爆發(fā)
41#
發(fā)表于 2025-3-28 17:46:48 | 只看該作者
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems supervisors can be “fused” using both union and intersection of enabled events. Namely, the supervisors agree a . on choosing “fusion by union” for certain controllable events and “fusion by intersection” for certain other controllable events. We show that under this generalized architecture, a lar
42#
發(fā)表于 2025-3-28 20:47:12 | 只看該作者
Reduced Supervisors for Timed Discrete-Event Systemsem we compute a reduced supervisor based on an abstraction of the plant model in which time is measured with a slower clock. Such a model is simpler than the original, but has richer untimed behavior. Thus, an untimed specification met by the closed-loop reduced system is also met by the original sy
43#
發(fā)表于 2025-3-29 00:13:55 | 只看該作者
44#
發(fā)表于 2025-3-29 04:27:05 | 只看該作者
An Iterative Method for Deadlock Prevention in FMSt was based on an iterative method, using the structure of the Petri net model. Here we present two things; first, we improve the algorithm which establishes the control; second, we present some experimental results which try to compare a few control methods from the perspective of their “permissivi
45#
發(fā)表于 2025-3-29 09:45:10 | 只看該作者
46#
發(fā)表于 2025-3-29 14:03:50 | 只看該作者
On Partially Controlled Free Choice Petri Netsriate conditions, a non-. PN can be made . via supervision. Under this paradigm an external-agent, the supervisor, prevents the firing of certain transitions at each reachable marking so as to enforce liveness. A PN is . if the supervisor can prevent the firing of only a subset of transitions. . (FC
47#
發(fā)表于 2025-3-29 19:04:58 | 只看該作者
Closed-Loop Live Petri Net Supervisors for GMEC(GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A
48#
發(fā)表于 2025-3-29 21:16:22 | 只看該作者
49#
發(fā)表于 2025-3-30 03:05:16 | 只看該作者
https://doi.org/10.1007/978-3-658-05709-1e of the . parameters. In the particular case where the expected performance is differentiable, sensitivity analysis deals with the estimation of . of the expected performance with respect to some parameter of interest, called the ..
50#
發(fā)表于 2025-3-30 04:23:27 | 只看該作者
 關(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, 2025-10-24 00:34
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
获嘉县| 紫金县| 汉阴县| 定襄县| 松滋市| 大英县| 遵义市| 江陵县| 大埔区| 大化| 息烽县| 邹平县| 商都县| 土默特左旗| 眉山市| 四平市| 丽江市| 梅河口市| 南澳县| 无极县| 龙海市| 和田县| 同德县| 明水县| 大城县| 大竹县| 宁津县| 贵溪市| 施秉县| 正宁县| 铁力市| 崇礼县| 巢湖市| 华亭县| 通道| 抚顺市| 卓资县| 望谟县| 资源县| 彰化市| 麦盖提县|