{"public_id":"cl_a9ecd6380d8ec8d726cdcbddec811eef","status":"active","superseded_by_public_id":null,"corpus_id":149667677,"text":"An algorithm is presented for computing full-complexity polytopic robust control invariant sets and the corresponding linear state-feedback control law.","confidence":0.98,"paper":{"corpus_id":149667677,"title":"Full‐complexity polytopic robust control invariant sets for uncertain linear discrete‐time systems","url":"https://sah.borca.ai/papers/149667677"},"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.98,"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_7343396ae0be2162b14b7cfdda1efc83","name":"algorithm","description":"A computational procedure for constructing the invariant sets and associated controller.","types":["method"],"url":"https://sah.borca.ai/concepts/co_7343396ae0be2162b14b7cfdda1efc83"},{"public_id":"co_7bd0e0f4deee6b1a58daec73a099bd07","name":"full-complexity polytopic robust control invariant sets","description":"Polytopic robust control invariant sets whose facet complexity is allowed to vary freely in the construction.","types":["control invariant set"],"url":"https://sah.borca.ai/concepts/co_7bd0e0f4deee6b1a58daec73a099bd07"},{"public_id":"co_96e26769fc8493167cb2573a06aeb49a","name":"linear state-feedback control law","description":"A control law that computes inputs as a linear function of the measured state.","types":["control law"],"url":"https://sah.borca.ai/concepts/co_96e26769fc8493167cb2573a06aeb49a"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_a9ecd6380d8ec8d726cdcbddec811eef"}