Search for dissertations about: "Binary Decision Diagrams."
Showing result 1 - 5 of 15 swedish dissertations containing the words Binary Decision Diagrams..
-
1. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams
Abstract : 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. READ MORE
-
2. Applications of decision diagrams for low power synthesis
Abstract : 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. READ MORE
-
3. Symbolic Methods and Tools for Discrete Event Dynamic Systems
Abstract : 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. READ MORE
-
4. Symbolic Supervisory Control of Timed Discrete Event Systems
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
-
5. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
Abstract : 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. READ MORE