Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Paper i proceeding, 2005

Efficient analysis and controller synthesis in the context of Discrete-Event Systems (DES) is discussed in this paper. We consider efficient reachability search for solving common problems in the Supervisory Control Theory (SCT). The search is based on symbolic computations including crucial partitioning techniques. Finally, the efficiency of the presented algorithms is demonstrated on a set of hand-made and real-world industrial systems.

supervisory control

Discrete-event systems

reachability search

symbolic computation

Författare

Arash Vahidi Mazinani

Chalmers, Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on

2751 - 2756

Ämneskategorier

Reglerteknik