{"id":"W2788677878","doi":"10.23919/acc.2018.8431863","title":"Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis","year":2018,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Partition (number theory); Interval (graph theory); Computer science; Abstraction; Algorithm; Partition problem; State space; Mathematics; Mathematical optimization","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001125116,0.0006670973,0.0005302032,0.000403262,0.0003442977,0.0008655904,0.0008405029,0.0005099368,0.001905761],"category_scores_gemma":[0.002625301,0.000326339,0.0009425163,0.0002525888,0.001190219,0.0008960079,0.001018872,0.001126407,0.0002936597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007471086,"about_ca_system_score_gemma":0.001270662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001702749,"about_ca_topic_score_gemma":0.001296046,"domain_scores_codex":[0.9991805,0.0001560201,0.0000535094,0.0001430678,0.0003979477,0.00006892651],"domain_scores_gemma":[0.9991096,0.0005098318,0.0001111297,0.0001192884,0.0001284786,0.00002161971],"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.0001001295,0.0000290299,0.0002542437,0.0001485347,0.00002668847,0.00007761533,0.0002597522,0.7399797,0.01403043,0.1849723,0.0004920748,0.05962949],"study_design_scores_gemma":[0.00002983527,0.0000675694,0.00005481045,0.00002158834,0.00001330105,0.00002442282,0.00002019516,0.9561229,0.006721027,0.0348861,0.002026692,0.00001154353],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004016368,0.00002595032,0.9947407,0.0000175809,0.00000568741,0.00001788605,0.0000135684,0.0001589436,0.001003522],"genre_scores_gemma":[0.5791766,0.0001643957,0.4182187,0.00004731087,0.00002007109,0.000255067,0.0001451642,0.0001447347,0.001827918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001905761,"threshold_uncertainty_score":0.006375432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0465434081024166,"score_gpt":0.2955683543443789,"score_spread":0.2490249462419624,"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."}}