EFFICIENT SYMBOLIC SUPERVISORY SYNTHESIS AND GUARD GENERATION - Evaluating Partitioning Techniques for the State-space Exploration

Z. Fei, S. Miremadi, K. Åkesson, B. Lennartson

2011

Abstract

The supervisory control theory (SCT) is a model-based framework which automatically synthesizes a supervisor that restricts a plant to be controlled based on specifications to be fulfilled. Two main problems typically encountered in industrial applications prevent SCT from having a major breakthrough. First, the supervisor which is synthesized automatically from the given plant and specification models might be incomprehensible to the users. To tackle this problem, in our previous work, an approach was presented to extract compact propositional formulae from the supervisor represented symbolically by binary decision diagrams (BDD) and attach them to the original models. However, this approach, which computes the supervisor symbolically in the conjunctive way, might lead to another problem: the state-space explosion, because of the large number of intermediate BDD nodes during computation. In this paper, we introduce an alternative approach to alleviate this problem, which is based on the disjunctive partitioning technique including a set of selection heuristics. Then this approach is adapted to the guard generation procedure. Finally, the efficiency of the presented approach is demonstrated on a set of benchmark examples.

Paper Citation

in Harvard Style

Fei Z., Miremadi S., Åkesson K. and Lennartson B. (2011). EFFICIENT SYMBOLIC SUPERVISORY SYNTHESIS AND GUARD GENERATION - Evaluating Partitioning Techniques for the State-space Exploration . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8425-40-9, pages 106-115. DOI: 10.5220/0003178801060115

in Bibtex Style

@conference{icaart11,
author={Z. Fei and S. Miremadi and K. Åkesson and B. Lennartson},
title={EFFICIENT SYMBOLIC SUPERVISORY SYNTHESIS AND GUARD GENERATION - Evaluating Partitioning Techniques for the State-space Exploration},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2011},
pages={106-115},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003178801060115},
isbn={978-989-8425-40-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - EFFICIENT SYMBOLIC SUPERVISORY SYNTHESIS AND GUARD GENERATION - Evaluating Partitioning Techniques for the State-space Exploration
SN - 978-989-8425-40-9
AU - Fei Z.
AU - Miremadi S.
AU - Åkesson K.
AU - Lennartson B.
PY - 2011
SP - 106
EP - 115
DO - 10.5220/0003178801060115