標(biāo)題: Titlebook: Discrete Event Systems: Modeling and Control; Proceedings of a Joi Silvano Balemi,Petr Kozák,Rein Smedinga Conference proceedings 1993 Birk [打印本頁] 作者: Dangle 時(shí)間: 2025-3-21 16:53
書目名稱Discrete Event Systems: Modeling and Control影響因子(影響力)
書目名稱Discrete Event Systems: Modeling and Control影響因子(影響力)學(xué)科排名
書目名稱Discrete Event Systems: Modeling and Control網(wǎng)絡(luò)公開度
書目名稱Discrete Event Systems: Modeling and Control網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Discrete Event Systems: Modeling and Control被引頻次
書目名稱Discrete Event Systems: Modeling and Control被引頻次學(xué)科排名
書目名稱Discrete Event Systems: Modeling and Control年度引用
書目名稱Discrete Event Systems: Modeling and Control年度引用學(xué)科排名
書目名稱Discrete Event Systems: Modeling and Control讀者反饋
書目名稱Discrete Event Systems: Modeling and Control讀者反饋學(xué)科排名
作者: 適宜 時(shí)間: 2025-3-21 20:46
ance measures for discrete event systems. The present book contains selected papers presented at the Joint Workshop on Discrete Event Systems (WODES‘92) held in Prague, Czechoslovakia, on Au- gust 26-28, 1992 and organized by the Institute of Information Theory and Au- tomation of the Czechoslovak Academy of 978-3-0348-9916-1978-3-0348-9120-2作者: 無思維能力 時(shí)間: 2025-3-22 02:22 作者: Nuance 時(shí)間: 2025-3-22 07:34
Aaron M. Ellison,Manisha V. Patelcordingly it is assumed that no non-terminating paths are admissible in the controlled behavior. The admissible paths correspond to the language marked by ., denoted by ..(.). In [6] the same problem was treated but with many restrictions on .. Principal amongst these was the requirement that . be a作者: integrated 時(shí)間: 2025-3-22 12:34 作者: paltry 時(shí)間: 2025-3-22 15:01
Clare Hurst,Justine Fowler,Georgia Scapensresponding augmented language. Next, we give a fixpoint characterization of the augmented language, and propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists. We also deal with blocking in such a finite state supervisor Finally, we present 作者: paltry 時(shí)間: 2025-3-22 18:32 作者: 有幫助 時(shí)間: 2025-3-22 23:12
Janise Farrell,Isabella Dillon Savage control, some of the mainstream supervisory control problems are formulated in a unified framework..Formal methods used in software engineering has certain computational and structural similarities to supervisory control and unlike the latter, is closely connected to realistic and widespread practi作者: insomnia 時(shí)間: 2025-3-23 04:56 作者: 證實(shí) 時(shí)間: 2025-3-23 08:25
Aaron M. Ellison,Manisha V. Patelons, heuristic solutions are often the norm for real-time scheduling and implementation of FMS control activities. However, heuristic solutions often lack consideration of overall system implications, and various practical difficulties may arise in the control of unmanned FMS..The purpose of this re作者: 古文字學(xué) 時(shí)間: 2025-3-23 13:03
Aaron M. Ellison,Manisha V. Patelered. Following a hierarchical event structure, a concept of macro-events is introduced. To characterise the used formalism, algebraic linguistics and structural pattern recognition techniques are utilized, especially those of string matching. A simple example is included to illustrate the developed作者: 陰謀小團(tuán)體 時(shí)間: 2025-3-23 13:52 作者: Crumple 時(shí)間: 2025-3-23 18:27
Aaron M. Ellison,Manisha V. Patel of control problems related to time discrete event systems at the qualitative level. Basic underlying ideas, definitions, and results are briefly presented. Several illustrative examples are provided.作者: 江湖騙子 時(shí)間: 2025-3-23 22:20
Aaron M. Ellison,Manisha V. Patelronization aspects of such systems are more basic than their discrete character. Various theorems in the context of discrete event systems have their logical counterparts within the continuous setting.作者: 逗它小傻瓜 時(shí)間: 2025-3-24 03:55
Aaron M. Ellison,Manisha V. Patelted in max-algebra literature. The main result is that the asymptotic behaviour of the algorithm is characterized by one or more critical circuits in a generalized sense, and that two cases can be distinguished. In the first case the generalized critical circuit has length two, and generalized order作者: 紡織品 時(shí)間: 2025-3-24 10:20 作者: MAZE 時(shí)間: 2025-3-24 11:33 作者: ALIAS 時(shí)間: 2025-3-24 18:12
How Regulations Impact Investment Managersessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their作者: 條街道往前推 時(shí)間: 2025-3-24 19:49
https://doi.org/10.1007/978-3-0348-9120-2automatic control; control; control theory; discrete event system; information theory; system作者: 包裹 時(shí)間: 2025-3-25 02:27 作者: 拖網(wǎng) 時(shí)間: 2025-3-25 06:27 作者: 閑逛 時(shí)間: 2025-3-25 10:01
Aaron M. Ellison,Manisha V. Patelered. Following a hierarchical event structure, a concept of macro-events is introduced. To characterise the used formalism, algebraic linguistics and structural pattern recognition techniques are utilized, especially those of string matching. A simple example is included to illustrate the developed ideas in a real application.作者: progestogen 時(shí)間: 2025-3-25 15:08
Aaron M. Ellison,Manisha V. PatelDifferential Calculus (BDC) supports modeling, analysis and synthesis of DES. This paper not only demonstrates fundamental properties of the BDC, but also presents a synthesis algorithm for the cat-mouse-example.作者: 能得到 時(shí)間: 2025-3-25 17:30 作者: 笨拙的你 時(shí)間: 2025-3-25 20:37 作者: ADAGE 時(shí)間: 2025-3-26 00:20 作者: Console 時(shí)間: 2025-3-26 06:12
How Regulations Impact Investment Managersessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their behaviour.作者: 使隔離 時(shí)間: 2025-3-26 11:57
An Overview of Results in Discrete Event Systems Using a Trace Theory Based Settingormulated and easily solved using a special operator, the reflection. Using state graphs the solution can be computed effectively. Moreover, a subsystem of the controller can be computed such that the connection of plant and controller is free of lock.作者: DALLY 時(shí)間: 2025-3-26 15:04 作者: ARENA 時(shí)間: 2025-3-26 20:40 作者: Sad570 時(shí)間: 2025-3-26 21:22
A Unifying Framework for Discrete Event System Control Theory of control problems related to time discrete event systems at the qualitative level. Basic underlying ideas, definitions, and results are briefly presented. Several illustrative examples are provided.作者: Cpap155 時(shí)間: 2025-3-27 04:08 作者: GLADE 時(shí)間: 2025-3-27 05:24
Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitorsicient conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions. These conditions imply that tracking can be performed in some TPNs without knowledge of all timings. We present a class of safe TPNs as an example.作者: Bumptious 時(shí)間: 2025-3-27 09:46
A Petri Nets-Based Approach to the Maze Problem Solvingessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their behaviour.作者: 隱士 時(shí)間: 2025-3-27 15:58 作者: Mawkish 時(shí)間: 2025-3-27 18:14 作者: arterioles 時(shí)間: 2025-3-28 00:37
An Obsolete Fundamental PhilosophyThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.作者: 單片眼鏡 時(shí)間: 2025-3-28 04:28 作者: 過份 時(shí)間: 2025-3-28 06:29
The Workshop Exercise Using a Trace Theory Based SettingDiscrete event systems can be modelled using a trace theory based setting. In this setting the workshop exercise is modelled and solved. To be able to compute the needed systems, a state space model is introduced.作者: 疲勞 時(shí)間: 2025-3-28 14:06
The Cat-and-Mouse Problem as a System of Boolean EquationsThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.作者: 脫離 時(shí)間: 2025-3-28 17:42
Augmented Languages and Supervisory Control in Discrete Event Systemsresponding augmented language. Next, we give a fixpoint characterization of the augmented language, and propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists. We also deal with blocking in such a finite state supervisor Finally, we present 作者: 知識分子 時(shí)間: 2025-3-28 20:41
Input/Output Discrete Event Processes and System Modelingnt does not spontanuously generate all events as outputs, but reads some events, called commands, as inputs and produces other events, called responses, as outputs. Based on this input/output interpretation we propose a modeling framework that starts with a physical description of the system and end作者: 公社 時(shí)間: 2025-3-29 01:16 作者: agenda 時(shí)間: 2025-3-29 05:32
An Overview of Results in Discrete Event Systems Using a Trace Theory Based Settingormulated and easily solved using a special operator, the reflection. Using state graphs the solution can be computed effectively. Moreover, a subsystem of the controller can be computed such that the connection of plant and controller is free of lock.作者: Curmudgeon 時(shí)間: 2025-3-29 08:50 作者: Keratectomy 時(shí)間: 2025-3-29 13:34 作者: 美麗的寫 時(shí)間: 2025-3-29 16:25 作者: audiologist 時(shí)間: 2025-3-29 21:36
A Unifying Framework for Discrete Event System Control Theory of control problems related to time discrete event systems at the qualitative level. Basic underlying ideas, definitions, and results are briefly presented. Several illustrative examples are provided.作者: 羊欄 時(shí)間: 2025-3-30 01:37 作者: 玉米 時(shí)間: 2025-3-30 06:06
On a Generalized Asymptoticity Problem in Max Algebrated in max-algebra literature. The main result is that the asymptotic behaviour of the algorithm is characterized by one or more critical circuits in a generalized sense, and that two cases can be distinguished. In the first case the generalized critical circuit has length two, and generalized order作者: arcane 時(shí)間: 2025-3-30 11:25
Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitorsicient conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions. These conditions imply that tracking can be performed in some TPNs without knowledge of all timings. We present a class of safe TPNs as an example.作者: Orthodontics 時(shí)間: 2025-3-30 15:42 作者: Tracheotomy 時(shí)間: 2025-3-30 17:26
A Petri Nets-Based Approach to the Maze Problem Solvingessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their作者: 遺棄 時(shí)間: 2025-3-30 23:07 作者: 截?cái)?nbsp; 時(shí)間: 2025-3-31 03:05
Aaron M. Ellison,Manisha V. Patel some of the options of the real-time resource allocation strategy) for deadlock avoidance. We propose an on-line restriction policy that avoids deadlock situations, while enabling completion of all active jobs in the FMS. The proposed algorithm is minimally restrictive and suitable for real-time implementation.作者: 蝕刻術(shù) 時(shí)間: 2025-3-31 09:00 作者: florid 時(shí)間: 2025-3-31 13:16
