A correctness analysis for the algorithm presented in “Symbolic Computation of Boundary Unsafe States in Complex Resource Allocation Systems Using Partitioning Techniques”
Report, 2014
Author
Zhennan Fei
Chalmers, Signals and Systems, Systems and control
Knut Åkesson
Chalmers, Signals and Systems, Systems and control
Spyros Reveliotis
Areas of Advance
Information and Communication Technology
Production
Subject Categories
Computer and Information Science
Computer Systems
R - Department of Signals and Systems, Chalmers University of Technology