Efficient Application of Symbolic Tools for Resource Booking Problems
Paper i proceeding, 2001

This paper describes how symbolic model checking tools, like binary decision diagrams, may be used to analyze and synthesize supervisors for discrete event systems. As an application a general routing resource booking problem is considered. A specification language is presented which makes it easy to handle both multiple and alternative resource booking problems. The language is directly translated to a relational model, which is immediately implemented as a BDD. Two optimization concepts, namely smoothing and variable reduction in the BDD representation, are shown to be extremely valuable to handle huge state space problems in short time.

Controller synthesis

Flexible cells

Binary decision diagrams

Discrete event systems

Författare

Arash Vahidi Mazinani

Chalmers, Signaler och system, Reglerteknik och automation

Bengt Lennartson

Chalmers, Signaler och system, Reglerteknik och automation

Dennis Arkeryd

Chalmers, Signaler och system, Reglerteknik och automation

Martin Fabian

Chalmers, Signaler och system, Reglerteknik och automation

American Control Conference, Arlington, VA, USA; 25 June through 27 June 2001

Vol. 6 4937-4942

Ämneskategorier

Data- och informationsvetenskap