Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming.
Spyros A. ReveliotisElzbieta RoszkowskaJin Young ChoiPublished in: IEEE Trans Autom. Sci. Eng. (2010)
Keyphrases
- mathematical programming
- linear programming
- combinatorial optimization
- model checking
- queueing theory
- mixed integer linear
- goal programming
- tree search
- optimal policy
- controlled tabular adjustment
- stationary points
- robust optimization
- fixed point
- control policies
- mixed integer linear programming
- optimization approaches
- linear program
- cell suppression
- privacy preserving
- genetic algorithm