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, Automation

Spyros Reveliotis

Sajed Miremadi

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Subject Categories

Computer Engineering

Areas of Advance

Information and Communication Technology

Production

More information

Created

10/7/2017