Can I read Efficient Supervisory Synthesis of Large Systems on EtoBox?

Efficient Supervisory Synthesis of Large Systems by Arash Vahidi; Martin Fabian; Bengt Lennartson is a Engineering article available to read on EtoBox.

What is Efficient Supervisory Synthesis of Large Systems about?

Due to the state-space explosion, many synthesis and verification problems for discrete event systems cannot be solved using traditional state-space traversal algorithms. This work presents efficient methods for reachability search based on symbolic computations using Binary Decision Diagrams. In addition, simple guidelines and quantities for separating hard and easy reachability problems are presented. Furthermore, the performance of the presented algorithms and heuristics is demonstrated on a set of industrial benchmark examples. It is also shown that such examples are much more challenging than some well-known handmade benchmark models. This is also indicated by the presented hardness quantities.

Who reads Efficient Supervisory Synthesis of Large Systems?

Author

Arash Vahidi; Martin Fabian; Bengt Lennartson

Publisher

Elsevier Science; Elsevier ; Elsevier Ltd.; Elsevier BV (ISSN 0967-0661)

Published

2006

Language

EN

Field

Engineering (Physical Sciences)