Search for dissertations about: "Binary Decision Diagrams"

Showing result 6 - 10 of 15 swedish dissertations containing the words Binary Decision Diagrams.

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

4. 7. A study of symbolic tools in automatic control

   Author : Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; binary decision diagrams; state explosion problem; supervisory control synthesis; deadlock avoidance; discrete event systems; symbolic model checking; formal methods;

   Abstract : .... READ MORE

5. 8. On logic test generation : algorithms and methods for combinational test generation

   Author : Hans Kristian Wiklund; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; bridging faults; switchh level; binary decision diagrams; testability; feedback; ATPG;

   Abstract : .... READ MORE

6. 9. Symbolic Supervisory Control of Resource Allocation Systems

   Author : Zhennan Fei; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

   Abstract : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. READ MORE

7. 10. Voronoi-Based Coding

   Author : Erik Agrell; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Voronoi diagram; linear block code; Gaussian channel; neighbor descent; nearest neighbor search algorithm; computational geometry; asymptotic theory; source coding; lattice; vector quantization; soft-decision decoding; index assignment; channel coding; complexity;

   Abstract : The performance of a digital communication system can generally be improved by increasing the number of variables being jointly coded. In this sense, it is desirable to have, e.g., higher-dimensional quantizers, longer channel codes, and more users in a multiple-access system. READ MORE