Avancerad sökning

Visar resultat 1 - 5 av 40 avhandlingar som matchar ovanstående sökkriterier.

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

   Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

3. 2. Discrete Event Simulation of Bus Terminals

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Sahar Mohajerani; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : 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. LÄS MER

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

   Författare :Diana Yamalova; Alexander Medvedev; Xiaoming Hu; Uppsala universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Sajed Miremadi; Chalmers tekniska högskola; []
   Nyckelord :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.;

   Sammanfattning : 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). LÄS MER