Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming.
Miel SharfBart BesselinkKarl Henrik JohanssonPublished in: CoRR (2022)
Keyphrases
- linear programming
- control system
- linear program
- nonlinear programming
- dynamic programming
- real time
- face verification
- np hard
- artificial intelligence
- quadratic programming
- optimal solution
- feasible solution
- verification method
- primal dual
- control algorithm
- integer programming
- expert systems
- objective function
- formal methods
- web services
- genetic algorithm
- asynchronous circuits
- data sets