### Skapa referens, olika format (klipp och klistra)

**Harvard**

Vahidi, A. (2004) *Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams*. Göteborg : Chalmers University of Technology (Technical report - School of Electrical Engineering, Chalmers University of Technology, Göteborg, Sweden, nr: 487).

** BibTeX **

@book{

Vahidi2004,

author={Vahidi, Arash},

title={Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams},

isbn={91-7291-496-3},

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. <p />One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations.<BR> For example, real-world systems such as manufacturing cells or embedded systems represented as composite discrete-event systems tend to have huge numbers of states. The enormity of these models will make most types of analysis very hard if not impossible. <p />Taking advantage of Binary Decision Diagrams, this work presents a set of algorithms and heuristics for searching the enormous state-space of large discrete event systems in a efficient manner.<BR> Furthermore, the author demonstrates how important problems within the field of supervisor control theory can be solved using the presented search methods. It is also shown how the conjunction of such methods and algorithmic optimization is used to gain performance even more.},

publisher={Institutionen för signaler och system, Chalmers tekniska högskola,},

place={Göteborg},

year={2004},

series={Technical report - School of Electrical Engineering, Chalmers University of Technology, Göteborg, Sweden, no: 487Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 2177},

keywords={discrete event systems, supervisory synthesis, binary decision diagrams},

note={146},

}

** RefWorks **

RT Dissertation/Thesis

SR Print

ID 1904

A1 Vahidi, Arash

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

YR 2004

SN 91-7291-496-3

AB 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. <p />One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations.<BR> For example, real-world systems such as manufacturing cells or embedded systems represented as composite discrete-event systems tend to have huge numbers of states. The enormity of these models will make most types of analysis very hard if not impossible. <p />Taking advantage of Binary Decision Diagrams, this work presents a set of algorithms and heuristics for searching the enormous state-space of large discrete event systems in a efficient manner.<BR> Furthermore, the author demonstrates how important problems within the field of supervisor control theory can be solved using the presented search methods. It is also shown how the conjunction of such methods and algorithmic optimization is used to gain performance even more.

PB Institutionen för signaler och system, Chalmers tekniska högskola,

T3 Technical report - School of Electrical Engineering, Chalmers University of Technology, Göteborg, Sweden, no: 487Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 2177

LA eng

OL 30