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

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

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

More information

Created

10/7/2017