Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.
Xiang YinStéphane LafortunePublished in: IEEE Trans. Autom. Control. (2018)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- upper and lower bounds
- branch and bound
- objective function
- optimal solution
- worst case
- lower bounding
- np hard
- lower and upper bounds
- databases
- conjunctive queries
- query evaluation
- polynomial approximation
- database
- tree patterns
- transitive closure
- special case
- data model
- student teams