Contract composition for dynamical control systems: Definition and verification using linear programming.
Miel SharfBart BesselinkKarl Henrik JohanssonPublished in: Autom. (2024)
Keyphrases
- linear programming
- control system
- linear program
- dynamic programming
- supply chain
- feasible solution
- safety analysis
- quadratic programming
- genetic algorithm
- nonlinear programming
- model checking
- closed loop
- primal dual
- web service composition
- face verification
- np hard
- formal verification
- asynchronous circuits
- verification method
- integer programming
- control law
- case study
- machine learning