Sökning: "binary decision diagrams"

Visar resultat 1 - 5 av 15 avhandlingar innehållade orden binary decision diagrams.

1. 1. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams

   Författare :Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; binary decision diagrams; supervisory synthesis; discrete event systems;

   Sammanfattning : Due to the ever-increasing complexity of software and hardware, it is becoming more and more important to develop methods and tools for automatic analysis and synthesis of systems. One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations. LÄS MER

3. 2. Applications of decision diagrams for low power synthesis

   Författare :Mikael Kerttu; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Electronics; Industriell elektronik;

   Sammanfattning : Power consumption is an important design constraint for circuits used in portable devices. In this thesis an analytic approach to minimize the power dissipation of Binary Decision Diagram (BDD) mapped digital circuits is presented. LÄS MER

4. 3. Symbolic Methods and Tools for Discrete Event Dynamic Systems

   Författare :Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Decision diagrams; Polynomial relational representation; Landing gear controller;

   Sammanfattning : The interest in Discrete Event Dynamic Systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable of handling the complexity of problems and tasks present in industry today. In this thesis we will consider a framework based on relations over finite domains. LÄS MER

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

7. 5. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables

   Författare :Zhennan Fei; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning Techniques; Discrete Event Systems; Supervisory Control Theory; Extended Fi- nite Automata; Binary Decision Diagrams;

   Sammanfattning : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. LÄS MER