標題: Titlebook: Control of Discrete-Event Systems; Automata and Petri N Carla Seatzu,Manuel Silva,Jan H. van Schuppen Book 2013 Springer-Verlag London 2013 [打印本頁] 作者: Defect 時間: 2025-3-21 18:36
書目名稱Control of Discrete-Event Systems影響因子(影響力)
書目名稱Control of Discrete-Event Systems影響因子(影響力)學科排名
書目名稱Control of Discrete-Event Systems網(wǎng)絡公開度
書目名稱Control of Discrete-Event Systems網(wǎng)絡公開度學科排名
書目名稱Control of Discrete-Event Systems被引頻次
書目名稱Control of Discrete-Event Systems被引頻次學科排名
書目名稱Control of Discrete-Event Systems年度引用
書目名稱Control of Discrete-Event Systems年度引用學科排名
書目名稱Control of Discrete-Event Systems讀者反饋
書目名稱Control of Discrete-Event Systems讀者反饋學科排名
作者: CURT 時間: 2025-3-21 22:44
https://doi.org/10.1007/978-1-4471-4276-8Automata; Control Theory; Discrete-event Systems; Fault Diagnosis; Fluid Models; Industrial Automation; Ma作者: flourish 時間: 2025-3-22 01:55 作者: Lasting 時間: 2025-3-22 06:46 作者: 轉(zhuǎn)向 時間: 2025-3-22 12:04 作者: 我還要背著他 時間: 2025-3-22 15:55 作者: 我還要背著他 時間: 2025-3-22 18:07
https://doi.org/10.1007/978-3-658-36468-7 is exerted by specifying after each observation the set of enabled events. The automaton then chooses an event from the subset of enabled events, makes a transition and produces the observed event, after which the process repeats. The logical control objectives of supervisory control are legal beha作者: 招募 時間: 2025-3-22 21:42
Strukturierung von Programmiersprachentypically not directly observable from their very nature (such as failure events, internal hidden events, etc.) or it is too costly to have sensors and observe every event that can occur in the system. Therefore, supervisory control with partial observations has been developed to cope with the addit作者: 偏見 時間: 2025-3-23 04:42 作者: BOGUS 時間: 2025-3-23 08:12
Ansatz und Struktur der Beispielhermeneutik,lers each receiving an observed event stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coordination control, and hierarchical control. Result作者: WAG 時間: 2025-3-23 09:44 作者: compose 時間: 2025-3-23 15:05
Jürg Kramer,Anna-Maria von Pippich of the other subsystems but the subsystems do not directly influence each other. Coordination control of a coordinated distributed discrete-event system is to synthesize supervisors for the coordinator and for each of the subsystems so that the closed-loop system meets the specification. A characte作者: CAB 時間: 2025-3-23 22:03 作者: 減少 時間: 2025-3-24 01:01
Begriffliche und historische Grundlagen both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system. Finally, Petri nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapte作者: 情節(jié)劇 時間: 2025-3-24 03:27 作者: 剝削 時間: 2025-3-24 10:32 作者: extemporaneous 時間: 2025-3-24 12:01 作者: 出生 時間: 2025-3-24 18:26 作者: 創(chuàng)造性 時間: 2025-3-24 20:09
Vallendarer Schriften der Pflegewissenschaftn a distributed system are independent (or less coupled), the more this feature appears. With its immediate consequence: handling trajectories as sequences of events means representing an explosive number of possible interleavings of concurrent events. To turn independence/concurrency into an advant作者: 尾隨 時間: 2025-3-25 00:21 作者: 上漲 時間: 2025-3-25 04:47 作者: 帶子 時間: 2025-3-25 07:32
Control of Discrete-Event Systems978-1-4471-4276-8Series ISSN 0170-8643 Series E-ISSN 1610-7411 作者: Analogy 時間: 2025-3-25 13:49 作者: 隨意 時間: 2025-3-25 19:36 作者: 有其法作用 時間: 2025-3-25 20:12 作者: Additive 時間: 2025-3-26 01:53
Book 2013d. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material作者: Antimicrobial 時間: 2025-3-26 05:33 作者: 歡樂中國 時間: 2025-3-26 11:25
Diagnosis and Automatams, in a rather specific case. The general case is then examined, and a distributed procedure is described to recover the runs of a distributed system that can explain a set of distributed observations collected in this system. Finally, the chapter closes on a discussion about the interest of true c作者: AROMA 時間: 2025-3-26 15:22 作者: inventory 時間: 2025-3-26 19:47 作者: forebear 時間: 2025-3-26 22:25 作者: perimenopause 時間: 2025-3-27 02:16
Ansatz und Struktur der Beispielhermeneutik,ms, in a rather specific case. The general case is then examined, and a distributed procedure is described to recover the runs of a distributed system that can explain a set of distributed observations collected in this system. Finally, the chapter closes on a discussion about the interest of true c作者: BANAL 時間: 2025-3-27 08:23 作者: 言外之意 時間: 2025-3-27 12:48 作者: 涂掉 時間: 2025-3-27 14:25 作者: Dignant 時間: 2025-3-27 21:36
Supervisory Control of Petri Nets with Language Specificationsure for controllability and nonblockingness, and eventually to refine it. We show how Petri nets can be used within this approach and show that while the procedure can always be applied to bounded nets, in the case of unbounded Petri nets it may not be possible to obtain a Petri net supervisor.作者: 行為 時間: 2025-3-27 22:24
Book 2013state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized an作者: 巫婆 時間: 2025-3-28 02:24 作者: Synovial-Fluid 時間: 2025-3-28 06:59
,Abschlie?endes Fazit und Ausblick,d offline, computing a particular graph called Basis ... Some results concerning problems related to on-line fault diagnosis are also recalled, such as diagnosis via fluidification, diagnosability analysis and decentralized diagnosis.作者: 小故事 時間: 2025-3-28 13:46 作者: 恩惠 時間: 2025-3-28 16:26 作者: 允許 時間: 2025-3-28 22:48
0170-8643 emic researcher with coverage of the latest research in probControl of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory materia作者: Banister 時間: 2025-3-29 02:28 作者: larder 時間: 2025-3-29 05:50 作者: Focus-Words 時間: 2025-3-29 07:27
Jürg Kramer,Anna-Maria von Pippichtem is to synthesize supervisors for the coordinator and for each of the subsystems so that the closed-loop system meets the specification. A characterization of the existence of such supervisors is presented as well as the solution to the problem of supremal supervision.作者: Axillary 時間: 2025-3-29 12:56 作者: Incise 時間: 2025-3-29 16:09 作者: Nmda-Receptor 時間: 2025-3-29 23:32 作者: MEEK 時間: 2025-3-30 00:08
Von Verteidigern und Entdeckernses) are also discussed. These will lay the foundations to introduce control elements which forbid all the bad states enforcing the liveness property. The methods to compute the control are based on structural techniques avoiding the construction of the reachability graph.作者: 肉身 時間: 2025-3-30 05:07
Modelling of Engineering Phenomena by Finite Automata i.e., the question of how systems with an intrinsically infinite state space can be approximated by finite state machines such that control obtained for the approximation is meaningful for the underlying infinite state system.作者: embolus 時間: 2025-3-30 10:15 作者: 聽寫 時間: 2025-3-30 16:11
Supervisory Control of Distributed Discrete-Event Systemstures are defined in this chapter: Distributed control, distributed control with communication, coordination control, and hierarchical control. Results are provided for several problems of decentralized and distributed control. Research issues for control of distributed discrete-event systems are described.作者: CUB 時間: 2025-3-30 19:13 作者: 人類 時間: 2025-3-30 23:28 作者: 范例 時間: 2025-3-31 02:15
Introduction to Petri Nets nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapter we provide the basic notations and results in this framework, only focusing on a purely logic model called place/transition net.作者: 愛社交 時間: 2025-3-31 05:40
Petri Nets with Timeextensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones.作者: Original 時間: 2025-3-31 13:04 作者: ASSET 時間: 2025-3-31 16:48 作者: Excise 時間: 2025-3-31 18:54
