Report on A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems
Report, 2013
Deadlock Avoidance
Discrete Event Systems
Binary Decision Diagrams.
Resource Allocation Systems
Maximal Permissiveness
Supervisory Control Theory
Author
Zhennan Fei
Chalmers, Signals and Systems, Systems and control
Spyros Reveliotis
Georgia Institute of Technology
Sajed Miremadi
Chalmers, Signals and Systems, Systems and control
Knut Åkesson
Chalmers, Signals and Systems, Systems and control
Subject Categories (SSIF 2011)
Computer Engineering
Areas of Advance
Information and Communication Technology
Production
R - Department of Signals and Systems, Chalmers University of Technology: 1403-266X