Supplement for the paper entitled “A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems”
Report, 2014
This electronic document provides some supportive material to the paper entitled “A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems” that has been submitted to IEEE Transactions on Automation Science and Engineering (T-ASE).
Author
Zhennan Fei
Chalmers, Signals and Systems, Systems and control
Spyros Reveliotis
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