{"id":"W4301963297","doi":"10.48550/arxiv.1312.3399","title":"Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time\\n Linear Systems","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Institute for Computing, Information and Cognitive Systems","keywords":"Reachability; Control theory (sociology); Ellipsoid; Scalability; Bounded function; Kernel (algebra); Computer science; Piecewise; Controller (irrigation); Computation; Time complexity; Linear system; LTI system theory; Mathematics; Algorithm; Mathematical optimization; Control (management); Discrete mathematics; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003770474,0.0005829884,0.0003758105,0.000173055,0.0002432481,0.0005164093,0.0006513235,0.00026267,0.001534931],"category_scores_gemma":[0.0008470168,0.0002036191,0.000470011,0.0001512878,0.00053875,0.0004757938,0.0008062092,0.0006688757,0.0001839708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004596793,"about_ca_system_score_gemma":0.0006069957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001316191,"about_ca_topic_score_gemma":0.001511306,"domain_scores_codex":[0.9997165,0.00003659145,0.00001676868,0.00007746544,0.00011872,0.00003400377],"domain_scores_gemma":[0.9996704,0.0001469214,0.0000564644,0.00006796619,0.00004280793,0.00001541668],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007409874,0.00003467927,0.0002224045,0.00009474644,0.00002029831,0.00008222722,0.00008544946,0.9102975,0.03292423,0.0193497,0.0003197993,0.03649503],"study_design_scores_gemma":[0.000006826869,0.00005452843,0.00004404247,0.000004052972,0.00000352384,0.000008274042,0.000005306857,0.9915534,0.005181733,0.00271815,0.0004171558,0.000003041604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02185729,0.00004226894,0.9756991,0.00004699638,0.00001494021,0.00002555602,0.00002288947,0.0004318246,0.001859087],"genre_scores_gemma":[0.9243898,0.00005828774,0.07412315,0.00002703498,0.0000105946,0.00007945235,0.0000551712,0.00003825389,0.001218306],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001534931,"threshold_uncertainty_score":0.005134881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07328843911402154,"score_gpt":0.2016514352264208,"score_spread":0.1283629961123993,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}