Sökning: "Binary Decision Diagrams"
Visar resultat 1 - 5 av 15 avhandlingar innehållade orden Binary Decision Diagrams.
1. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams
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
2. Applications of decision diagrams for low power synthesis
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
3. Symbolic Methods and Tools for Discrete Event Dynamic Systems
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
4. 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
5. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
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