Verifying Contracts for Perturbed Control Systems using Linear Programming.
Miel SharfBart BesselinkKarl Henrik JohanssonPublished in: CoRR (2021)
Keyphrases
- linear programming
- control system
- linear program
- column generation
- np hard
- supply chain
- quadratic programming
- feasible solution
- optimal solution
- primal dual
- dynamic programming
- model checking
- original data
- integer programming
- nonlinear programming
- objective function
- closed loop
- social welfare
- constraint propagation
- simplex algorithm
- control law
- website
- algorithm for linear programming
- network flow
- business transactions
- control algorithm
- case study
- control scheme
- real environment
- electronic commerce
- artificial intelligence
- data mining