Search for dissertations about: "event algebra"

Showing result 1 - 5 of 9 swedish dissertations containing the words event algebra.

2. 1. Event Pattern Detection for Embedded Systems

   Author : Jan Carlson; Björn Lisper; Christer Norström; Kim Larsen; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; event pattern detection; event algebra; event monitoring; composite events; embedded systems; Computer science; Datavetenskap; Datavetenskap;

   Abstract : Events play an important role in many computer systems, from small reactive embedded applications to large distributed systems. Many applications react to events generated by a graphical user interface or by external sensors that monitor the system environment, and other systems use events for communication and synchronisation between independent subsystems. READ MORE

4. 2. 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

5. 3. An intuitive and resource-efficient event detection algebra

   Author : Jan Carlson; Mälardalens högskola; []
   Keywords : ;

   Abstract : In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed to react to sophisticated situations involving a number of simpel events occurring in accordance with some pattern. READ MORE

6. 4. Hierarchical Control and Restart of Flexible Manufacturing Systems

   Author : Kristin Andersson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Restart; Flexible manufacturing; Finite state automata; Petri nets; Supervisory control theory; Process algebra; Discrete event systems; Hierarchical control; Supervisor synthesis;

   Abstract : Product life-cycles are constantly shortening, and the amount of new product types increases, for example in the automotive industry. Growing demands on flexibility and ability to decrease time to market has made it increasingly important to find methods for fast and accurate development of control programs for flexible manufacturing cells. READ MORE

7. 5. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods

   Author : Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : 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. READ MORE