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

Chalmers, Signaler och system, System- och reglerteknik, Automation

Spyros Reveliotis

Sajed Miremadi

Chalmers, Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Ämneskategorier

Datorteknik

Styrkeområden

Informations- och kommunikationsteknik

Produktion