Search for dissertations about: "Discrete Events Systems"

Showing result 1 - 5 of 40 swedish dissertations containing the words Discrete Events Systems.

  2. 1. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Author : Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

    Abstract : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. READ MORE

  4. 2. Discrete Event Simulation of Bus Terminals

    Author : Therese Lindberg; Jan T. Lundgren; Andreas Tapani; Anders Peterson; Erik Jenelius; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Public transport is important to society as it provides spatial accessibility and reduces congestion and pollution in comparison to other motorized modes. To assure a high-quality service, all parts of the system need to be well-functioning and properly planned. One important aspect for the system's bus terminals is their capacity. READ MORE

  5. 3. On Compositional Approaches for Discrete Event Systems Verification and Synthesis

    Author : Sahar Mohajerani; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Over the past decades, human dependability on technical devices has rapidly increased.Many activities of such devices can be described by sequences of events,where the occurrence of an event causes the system to go from one state to another.This is elegantly modelled by state machines. READ MORE

  6. 4. Hybrid observers for systems with intrinsic pulse-modulated feedback

    Author : Diana Yamalova; Alexander Medvedev; Xiaoming Hu; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hybrid systems; impulsive systems; biomedical systems; Goodwin s oscillator; observers; time-delay; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

    Abstract : Dynamical processes resulting from the interaction of continuous and discrete dynamics are often encountered in living organisms. Time evolutions of such processes constitute continuous variables that are subject to instant changes at discrete points of time. READ MORE

  7. 5. Symbolic Supervisory Control of Timed Discrete Event Systems

    Author : Sajed Miremadi; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory Control Theory; Timed Discrete Event Systems; Extended Finite Automata; Binary Decision Diagrams.;

    Abstract : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). READ MORE