A symbolic approach for maximally permissive deadlock avoidance in complex resource allocation systems
Paper in proceedings, 2014

To develop an efficient implementation of the maximally permissive deadlock avoidance policy (DAP) for complex resource allocation systems (RAS), a recent approach focuses on the identification of a set of critical states of the underlying RAS state-space, referred to as minimal boundary unsafe states. The availability of this information enables an expedient one-step-lookahead scheme that prevents the RAS from reaching outside its safe region. This paper presents a symbolic approach that provides those critical states. Furthermore, by taking advantage of certain structural properties regarding RAS safety, the presented method avoids the complete exploration of the underlying RAS state-space. Numerical experimentation demonstrates the efficiency of the approach for developing the maximally permissive DAP for complex RAS with large structure and state-spaces, and its potential advantage over similar approaches that employ more conventional representational and computational methods.

Deadlock avoidance

Resource allocation system

Discrete event system

Binary decision diagram

Supervisory control theory

Maximal permissiveness

Author

Zhennan Fei

Chalmers, Signals and Systems, Systems and control, Automation

Spyros Reveliotis

Georgia Institute of Technology

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 9 3 362-369

Areas of Advance

Production

Subject Categories

Robotics

Control Engineering

DOI

10.3182/20140514-3-FR-4046.00021

More information

Created

10/7/2017