Search for dissertations about: "Extended Finite Automata"

Showing result 1 - 5 of 9 swedish dissertations containing the words Extended Finite Automata.

2. 1. Reduction Techniques for Finite (Tree) Automata

   Author : Lisa Kaati; Parosh Aziz Abdulla; Frank Drewes; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Finite automata; tree automata; bisimulation; minimization; simulation; composed bisimulation; composed simulation; Datavetenskap; Computer Science;

   Abstract : Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. READ MORE

4. 2. A Seamless Framework for Control Function Generation

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

   Abstract : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. READ MORE

5. 3. 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

6. 4. Modeling and analysis of restart, transport, and resource allocation in manufacturing systems using sequences of operations

   Author : Patrik Bergagård; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; Extended finite automata; Error recovery; Manufacturing systems; Restart; Supervisory control theory; Resource allocation;

   Abstract : Highly automated and flexible manufacturing systems have gained industrial popularity for their ability to combine high product volumes with high product quality. However, the process planning, the process to design and plan thetasks and actions, the operations, that constitute the manufacturing process, is a complex and time consuming process. READ MORE

7. 5. On restart of automated manufacturing systems

   Author : Patrik Bergagård; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory control theory; Error recovery; Manufacturing systems; Restart; Extended finite automata; Discrete event systems;

   Abstract : Highly automated manufacturing systems have gained industrial popularity for their ability to combine high product volumes with high product quality. The high cost of investment in combination with many linked manufacturing systems in a factory, requires that the production runs smoothly with high utilization of the resources and that stoppages are avoided. READ MORE