State-Vector Transition Model Applied to Supervisory Control
Paper in 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.

Author

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control

Sajed Miremadi

Chalmers, Signals and Systems, Systems and control

Zhennan Fei

Chalmers, Signals and Systems, Systems and control

Mona Noori-Hosseini

Chalmers, Signals and Systems, Systems and control

Martin Fabian

Chalmers, Signals and Systems, Systems and control

Knut Åkesson

Chalmers, Signals and Systems, Systems and control

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

6489680
978-146734737-2 (ISBN)

Areas of Advance

Production

Subject Categories

Robotics

DOI

10.1109/ETFA.2012.6489680

ISBN

978-146734737-2

More information

Created

10/8/2017