Supplement for the paper entitled “A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems”
Rapport, 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).

Författare

Zhennan Fei

Signaler och system, System- och reglerteknik, Automation

Spyros Reveliotis

Sajed Miremadi

Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Signaler och system, System- och reglerteknik, Automation

Ämneskategorier

Datorteknik

Styrkeområden

Informations- och kommunikationsteknik

Produktion