Sökning: "Discrete Events Systems"
Visar resultat 6 - 10 av 40 avhandlingar innehållade orden Discrete Events Systems.
6. Optimization of Manufacturing Cells Using Discrete Event Models
Sammanfattning : As the name suggests, this thesis is concerned with flexible manufacturing systems (FMS) and their way of living. More specifically, the main objective of this workis to generate working schedules for the moving objects of the manufacturing cells. LÄS MER
7. An Approach to Diagnosability Analysis for Interacting Finite State Systems
Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER
8. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
Sammanfattning : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. LÄS MER
9. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods
Sammanfattning : The interest in discrete event systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable to handle the complexity of problems and tasks present in industry to day. In this thesis we will consider a symbolic and algebraic framework which will be used for modeling, analysis, and synthesis of DEDS. LÄS MER
10. Symbolic Methods and Tools for Discrete Event Dynamic Systems
Sammanfattning : The interest in Discrete Event Dynamic Systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable of handling the complexity of problems and tasks present in industry today. In this thesis we will consider a framework based on relations over finite domains. LÄS MER