Work

Complexity in Automation of SOS Proofs: An Illustrative Example

Year: 2006

Type: conference-paper

Source: Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes

DOI: 10.1109/cdc.2006.377629

Authors: Dennice Gayme, Maryam Fazel, John C Doyle

Institution: California Institute of Technology

Language: English

Topic: Advanced Optimization Algorithms Research

Subfield: Numerical Analysis

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2136591044

FWCI:

Cites: 25

Cited by: 2

Related to: 10