Sökning: "Extended finite automata"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Extended finite automata.
1. Reduction Techniques for Finite (Tree) Automata
Sammanfattning : 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. LÄS MER
2. A Seamless Framework for Control Function Generation
Sammanfattning : 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. LÄS MER
3. Symbolic Supervisory Control of Timed Discrete Event Systems
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
4. Modeling and analysis of restart, transport, and resource allocation in manufacturing systems using sequences of operations
Sammanfattning : 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. LÄS MER
5. On restart of automated manufacturing systems
Sammanfattning : 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. LÄS MER