Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 28 for “"Discrete Event Systems"”.
-
Synchronous failure diagnosis of discrete-event systems
In general, systems are formed by the composition of several modules, local components or subsystems, and may exhibit a large number of states. The growth of the global system model with the number of system components leads to high computational costs for failure diagnosis techniques based on the …
-
Opacity Of Discrete Event Systems: Analysis And Control
<p>The exchange of sensitive information in many systems over a network can be manipulated</p> <p>by unauthorized access. Opacity is a property to investigate security and</p> <p>privacy problems in such systems. Opacity characterizes whether a secret information</p> <p>of a system can be inferred …
-
Optimal payoff to ensure opacity in Discrete-Event Systems
Opacity is a property of systems which guarantees that an outside observer cannot distinguish some behaviour of the system (secrets) from other behaviours (non-secrets). Many companies and government agencies like to make some aspects of their processes opaque to any observer while still needing to …
-
Fault Diagnosis of Discrete Event Systems Under Sensor Attack
… advances and demands on system performance grow, systems are built with increasing size and complexity, which significantly raises the likelihood of system disruptions. In this thesis, we consider two possible sources of major disruptions, i.e., component faults and cyber attacks. A component …
-
Verification of generalized robust diagnosability of discrete event systems
… of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting …
-
Safety of feedback discrete event systems with unknown controllers
… and incorrect implementation of controllers on discrete event systems. A cyber-attack modifies the behavior of the system, and may lead it to unsafe states, i.e., states that may cause damage to the system components or its operator. In addition, an incorrect implementation or design of …
-
State Estimation of Timed Discrete Event Systems and Its Applications
Many industrial control systems can be described as discrete event systems (DES), whose state space is a discrete set where event occurrences cause transitions from one state to another. Timing introduces an additional dimension to DES modeling and control. This dissertation provides two models of …
-
Supervisory control of networked discrete event systems with timing structure
… the supervisory control problem of Networked Discrete Event Systems with Timing Structure (NDESWTS), that is subject to bounded communication delays and intermittent loss of observations. We assume that the communication between the plant and the supervisor is carried out through a network …
-
Modeling, monitoring and optimization of discrete event systems using Petri nets
… 2013. Modeling, Monitoring and Optimization of Discrete Event Systems Using Petri Nets. Major Professor: Lingxi Li. In last decades, the research of discrete event systems (DESs) has attracts more and more attention because of the fast development of intelligent control strategies. Such control …
-
State estimation and sensor selection in discrete event systems modeled by Petri nets
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown and irregular intervals, of physical events. Such systems arise in a variety of contexts, such as energy distribution networks, computer and communication networks, automated …
-
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
… and privacy considerations in applications of discrete event systems, we describe and analyze the complexity of verifying various state-based notions of opacity in systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. Assuming …
-
Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults
The final problem studied in the thesis is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of …
-
On the decidability of problems in liveness of controlled Discrete Event Systems modeled by Petri Nets
"A Discrete Event System (DES) is a discrete-state system, where the state changes at discrete-time instants due to the occurrence of events. Informally, a liveness property stipulates that a 'good thing' happens during the evolution of a system. Some examples of liveness properties include …
-
Real-Time Distributed Control and Simulation of a Physical Emulator of a Flexible Manufacturing System
… the intelligent controller for complex discrete-event systems and the development of new software tools that will assist in the specification of included controllers. In particular, a physical emulator of a flexible manufacturing system (FMS) has been constructed. This emulator is being …
-
Improved Techniques for Parallel Discrete Event Simulation
… describe how a modeler can create SAN models of discrete event systems, partition and map a model to a target architecture, simulate using a number of PDES algorithms, and obtain performance data for the PDES algorithms used.
-
Formal Specification of the Moebius Modeling Framework
… fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing …
-
Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
… the codiagnosticability of a language in discrete event systems (DES) with dynamic observation is proposed. Codiagnosticability in DESs with dynamic observation has been addressed by other studies in the literature. Each of the methods currently available in the literature capable of …
-
Structural analysis and control of flexible manufacturing systems
… analysis and control. Structural analysis in discrete event systems refers to the characterization of states and regions in the system state space which are logically inconsistent with ""normal"" system operation. The structural characteristics of an FMS strongly affect its behavior and …
-
Conceptual frameworks for discrete event simulation modeling
… necessary for successful model representation of discrete-event systems. The taxonomy provides a useful and meaningful classification of CFs and produces insights in to the conceptual relationships that exist among them. The characteristics of CFs that are desired to enable the development of …
Page 1 of 2