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

Signaler och system, System- och reglerteknik, Automation

Sajed Miremadi

Signaler och system, System- och reglerteknik, Automation

Zhennan Fei

Signaler och system, System- och reglerteknik, Automation

Mona Noori-Hosseini

Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Signaler och system, System- och reglerteknik, Automation

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

6489680

Styrkeområden

Produktion

Ämneskategorier

Robotteknik och automation

DOI

10.1109/ETFA.2012.6489680

ISBN

978-146734737-2