A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
Paper in proceeding, 2012

The state-space explosion problem, resulting from the reachability computation of the synthesis task, is one of the main obstacles preventing the supervisory control theory (SCT) from having an industrial breakthrough. To alleviate this problem, a well-known strategy is to utilize binary decision diagrams (BDDs) to compute supervisors symbolically. Based on this principle, we present in this paper an efficient reachability approach to large-scale discrete event systems modeled as finite automata with variables. By making use of the disjunctive partitioning technique, the proposed approach partitions the transition relation of a considered system into a set of partial transition relations according to included events. Then those partial transition relations are selected systematically to per- form the reachability computation. Experimental results show that more iterations might be required to compute the fixed point, but the intermediate BDDs are smaller. The approach has been implemented in the supervisory control tool Supremica and the efficiency is demonstrated on a set of industrially relevant benchmark problems.

Binary Decision Diagrams

Supremica

Supervisory Control

Author

Zhennan Fei

Chalmers, Signals and Systems, Systems and control

Sajed Miremadi

Chalmers, Signals and Systems, Systems and control

Knut Åkesson

Chalmers, Signals and Systems, Systems and control

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control

2012 IEEE Conference on Automation Science and Engineering (CASE)

2161-8070 (ISSN)

502 - 507
978-1-4673-0429-0 (ISBN)

Areas of Advance

Information and Communication Technology

Production

Subject Categories

Computer and Information Science

ISBN

978-1-4673-0429-0

More information

Created

10/7/2017