{"public_id":"cl_3db7de9abc8496e1610eb71f032baa91","status":"active","superseded_by_public_id":null,"corpus_id":121960136,"text":"A controller exists if and only if the unique stabilizing solutions to two algebraic Riccati equations are positive definite and the spectral radius of their product is less than γ².","confidence":0.99,"paper":{"corpus_id":121960136,"title":"State-space solutions to standard H/sub 2/ and H/sub infinity / control problems","url":"https://sah.borca.ai/papers/121960136"},"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.99,"origin_kinds":["extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":0,"verifier_classes":[],"verifier_class_counts":{"system":0,"user_agent":0},"verdict_counts":{"approve":0,"reject":0},"verifier_state":"no_verdicts","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_4ae3252267944a86609c66025f63cc07","name":"spectral radius condition","description":"The requirement that the spectral radius of the product of the two Riccati solutions be less than γ².","types":["condition"],"url":"https://sah.borca.ai/concepts/co_4ae3252267944a86609c66025f63cc07"},{"public_id":"co_7e77862076cea6123b8667f1891d4646","name":"positive definite stabilizing solutions","description":"Riccati-equation solutions that are both positive definite and stabilizing.","types":["mathematical solution"],"url":"https://sah.borca.ai/concepts/co_7e77862076cea6123b8667f1891d4646"},{"public_id":"co_c79e2a8982e24f3539833e001f5cd105","name":"algebraic Riccati equations","description":"A pair of matrix equations whose stabilizing solutions characterize controller existence in the presented synthesis conditions.","types":["equation"],"url":"https://sah.borca.ai/concepts/co_c79e2a8982e24f3539833e001f5cd105"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_3db7de9abc8496e1610eb71f032baa91"}