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
Spyros Reveliotis
Sajed Miremadi
Chalmers, Signaler och system, System- och reglerteknik
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik
Ämneskategorier
Datorteknik
Styrkeområden
Informations- och kommunikationsteknik
Produktion