{"id":"W2761962793","doi":"10.1109/tac.2017.2760106","title":"Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Canada Research Chairs","keywords":"Nonlinear system; Mathematics; Partition (number theory); Control theory (sociology); Interval (graph theory); Invariant (physics); Computation; Interval arithmetic; Upper and lower bounds; Applied mathematics; Algorithm; Computer science; Control (management); Mathematical analysis; Artificial intelligence; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001160915,0.0003025257,0.0009434036,0.0002601959,0.0007522837,0.0008885039,0.001621295,0.0001276663,0.00002018076],"category_scores_gemma":[0.0001458025,0.0002516774,0.0005271537,0.0003081468,0.00009147767,0.0007131067,0.000003464573,0.000168365,0.00001941815],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007169793,"about_ca_system_score_gemma":0.00007459656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001613085,"about_ca_topic_score_gemma":0.00001511746,"domain_scores_codex":[0.9975691,0.000374029,0.000588912,0.0006745664,0.0003548377,0.0004385024],"domain_scores_gemma":[0.9961948,0.001156883,0.0004168065,0.001820926,0.0001621011,0.0002484936],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001484843,0.001578005,0.00004181675,0.0002055732,0.003752874,0.00001361765,0.0004385254,0.07257327,0.00157147,0.001820244,0.00002165462,0.9178345],"study_design_scores_gemma":[0.001922766,0.0002034852,0.0003996992,0.00003805142,0.0009067074,0.000006747264,0.00004241778,0.9954649,0.0004498902,0.0001947555,0.0000745543,0.0002960627],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001002676,0.00002224992,0.9958099,0.0008181368,0.0007714048,0.001012101,0.0001278604,0.000334757,0.0001009794],"genre_scores_gemma":[0.6871352,0.000001749496,0.3117847,0.0001744929,0.00007748249,0.0007312814,6.752101e-7,0.00001730636,0.00007710668],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9228916,"threshold_uncertainty_score":0.9999936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03102403031255806,"score_gpt":0.2980702254994427,"score_spread":0.2670461951868847,"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."}}