discrete-part discrete event systems
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
... in discrete-event systems with a systematic observation of the ...local event sets is a subset of or equal to the global observable event ...
12
Towards efficiently diagnosing large scale discrete-event systems
... In this thesis we investigate the diagnosis of large discrete-event systems, where the task is to determine, on-line, all failures and states that explain a given sequence of observations. The main ...
153
Modelling Approach for Discrete Event Systems Through Petri Nets and Timed Automata
... ime systems [13] ...manufacturing systems whose activity times are included between a minimu m and a ma ximu m ...the discrete parts of system co ...regulation systems and for description of ...
6
Fuzzy Time Control Modeling Of Discrete Event Systems
... The fuzzy control is based on the theory of fuzzy sets and fuzzy logic. Mamdani’s pioneering work motivated to persue the research field of control systems in fuzzy modeling [5]. Previously number of fuzzy ...
6
Structural decentralised control of concurrent discrete-event systems
... once a system structure has been verified, it can be used for a number of tasks without further checking. In Chapter 4, we have shown that a coordination scheme can be used to solve some rescheduling problems among local ...
216
Time Decomposition for Diagnosis of Discrete Event Systems
... to event-based diagnosis, state- based diagnosis does not assume or require simultaneous initialisation of the system and the diagnoser; also, no knowledge about the system state or condition prior to the ...
201
Vol 6, No 2 (2020)
... multi-robot systems coordination from different points of view (see ...multi-robot systems coordination includes market economy-based methods ...other part, the qualitative multi-robot systems ...
8
Decentralized Diagnosis and Diagnosability by Model Checking
... Abstract This paper talks about a decentralized approach for diagnosis of discrete event systems based on the plant decomposition. A decentralized structure is used to avoid state space explosion ...
6
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance
... self-adaptive systems is to reduce maintenance costs through automatic ...helps systems return to a normal state after a fault or vulnerability exploit has been ...As part of the EU FP7 FastFix ...
16
Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications
... of systems from which we can draw intuition and examples for generalizations about system emergence at the fundamental ...the Discrete Event Systems Specification (DEVS) ...memory-less ...
18
Continuous-Time Delay-Petri Nets as a new tool to Design State Space Controller
... Abstract. In this paper a new method of modelling and controller design for continuous systems is introduced. Petri Net is a useful tool for modelling, analysis and controller synthesis in discrete ...
12
Shared discrete event control of human-robot systems
... dynamic systems have received a lot of attention in recent years, for examples see [16] [25] ...applications discrete event control simply lends itself as the "perfect" ...other ...
136
Testability of a swarm robot using a system of systems approach and discrete event simulation
... new systems and ...create systems using models described in DEVSML from various web-enabled repositories using open ...DoD’s systems level net-centric testing and evaluation ...
114
Discrete Scale Relativity and SX Phoenicis Variable Stars
... the discrete self-similarity between RR Lyrae stars and neu- tral helium atoms in Rydberg states undergoing sin- gle-level transitions between n = 7 and n = 10, with l = 0 or 1, a high resolution [8] period ...
6
Stability of semilinear discrete inclusions in a Hilbert space
... At the same time, to the best of our knowledge, the stability theory of nonlinear infinite dimensional discrete inclusions is at early stage of the development. In the present paper we derive explicit exponential ...
11
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
... However, even DEVS lacks important characteristics for expressing SoS software architectures, such as (i) the language only deals with the notion of ports; there is no notion of connections and gates separately that is a ...
22
Using of DEVS and MAS Tools for Modeling and Simulation of an Industrial Steam Generator
... The multitude of modelling tools and the de- sire to reuse existing models have stimulated researchers to guide their work to the standard- ization of the tools to be used. The DEVS for- malism seems to be well suited ...
19
Dynamic spare part control for performance based service contracts : a discrete event simulation study
... radar systems have been sold to the Dutch defence ...radar systems, the service and the content of the contract already started in ...radar systems are not operational at the intended place ...The ...
109
Representing intelligent decision making in discrete event simulation : a stochastic neural network approach
... [Keywords: Discrete Event Simulation, Neural Networks, Multilayer Perceptron, Artificial Intelligence, Behaviour, Decision Making, Intelligent Agents, Stochastic Processes]... Discrete e[r] ...
490
A comparison of discrete event simulation and system dynamics for modelling health care systems
... To summarise, SD models are mainly used at a strategic or conceptual level; they are basically deterministic, and they treat simulated objects as a continuous mass. The aim of an SD model is usually to gain an ...
17