State-Vector Transition Model Applied to Supervisory Control
Paper i proceeding, 2012

In supervisory control theory, a supervisor restricts the plant in order to fulfill given specifications. A problem for larger industrial applications is that the resulting supervisor is not easily implemented and comprehensible for the users. To tackle this problem, an efficient method has recently been introduced to characterize a supervisor by tractable logic conditions, referred to as guards. This approach has been developed for a specific type of automata with variables called extended finite automata (EFAs). An extension of this approach to a more general class of models is presented in this paper. It means that classical supervisory control problems for automata and Petri nets are easily and efficiently solved, but also generalized based on the suggested approach. The synthesis procedure is naturally modeled and efficiently computed based on binary decision diagrams.

Författare

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

Sajed Miremadi

Chalmers, Signaler och system, System- och reglerteknik

Zhennan Fei

Chalmers, Signaler och system, System- och reglerteknik

Mona Noori-Hosseini

Chalmers, Signaler och system, System- och reglerteknik

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik

17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)

6489680
978-146734737-2 (ISBN)

Styrkeområden

Produktion

Ämneskategorier

Robotteknik och automation

DOI

10.1109/ETFA.2012.6489680

ISBN

978-146734737-2

Mer information

Skapat

2017-10-08