L2 gain verification for interconnections of locally stable systems using integral quadratic constraints.
Erin SummersAndrew K. PackardPublished in: CDC (2010)
Keyphrases
- formal methods
- expert systems
- information retrieval
- penalty functions
- rule based systems
- constrained optimization
- databases
- management system
- software engineering
- linear programming
- computer systems
- knowledge based systems
- learning systems
- complex systems
- constraint satisfaction
- constraint programming
- geometric constraints
- pairwise
- computational complexity
- computer vision
- linear constraints
- security systems