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

**Harvard**

Miremadi, S., Åkesson, K., Fabian, M., Vahidi, A. och Lennartson, B. (2008) *Solving Two Supervisory Control Benchmark Problems Using Supremica*.

** BibTeX **

@conference{

Miremadi2008,

author={Miremadi, Sajed and Åkesson, Knut and Fabian, Martin and Vahidi, Arash and Lennartson, Bengt},

title={Solving Two Supervisory Control Benchmark Problems Using Supremica},

booktitle={9th International Workshop on Discrete Event Systems, 2008},

isbn={978-1-4244-2592-1},

pages={131-136},

abstract={Two supervisory control benchmark problems for WODES'08 are solved using the tool Supremica. Supremica is a tool for formal synthesis of discrete-event control functions based on discrete event models of the uncontrolled plant and specifications of the desired closed-loop behavior. By using formal synthesis of control functions the need for formal verification is reduced since the control functions are computed to automatically fulfill the given specifications, that is, they are "correct by construction". The modeling framework in Supremica is based on finite automata. Supremica implements several techniques for being able to solve large scale problems. In this paper it is evaluated how the algorithms implemented in Supremica that are based on binary decision diagrams performs on the two benchmark problems. The two benchmark problems are generalization of two classical problems; cat and mouse, and the dining philosophers' problem. The benchmark problems are parametrized such that it is possible to create problem instances with huge state-spaces. The benchmark shows that Supremica can efficiently solve rather large problem instances.},

year={2008},

}

** RefWorks **

RT Conference Proceedings

SR Electronic

ID 78497

A1 Miremadi, Sajed

A1 Åkesson, Knut

A1 Fabian, Martin

A1 Vahidi, Arash

A1 Lennartson, Bengt

T1 Solving Two Supervisory Control Benchmark Problems Using Supremica

YR 2008

T2 9th International Workshop on Discrete Event Systems, 2008

SN 978-1-4244-2592-1

SP 131

OP 136

AB Two supervisory control benchmark problems for WODES'08 are solved using the tool Supremica. Supremica is a tool for formal synthesis of discrete-event control functions based on discrete event models of the uncontrolled plant and specifications of the desired closed-loop behavior. By using formal synthesis of control functions the need for formal verification is reduced since the control functions are computed to automatically fulfill the given specifications, that is, they are "correct by construction". The modeling framework in Supremica is based on finite automata. Supremica implements several techniques for being able to solve large scale problems. In this paper it is evaluated how the algorithms implemented in Supremica that are based on binary decision diagrams performs on the two benchmark problems. The two benchmark problems are generalization of two classical problems; cat and mouse, and the dining philosophers' problem. The benchmark problems are parametrized such that it is possible to create problem instances with huge state-spaces. The benchmark shows that Supremica can efficiently solve rather large problem instances.

LA eng

LK http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4605934

LK http://publications.lib.chalmers.se/records/fulltext/local_78497.pdf

OL 30