{"id":"W4298317514","doi":"","title":"On Tracking for the PVTOL with Bounded Feedbacks.","year":2011,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Bounded function; Computer science; Tracking (education); Control theory (sociology); Artificial intelligence; Mathematics; Psychology; Control (management); Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.008092019,0.0003827428,0.0003354196,0.0001665419,0.0007117854,0.0009895975,0.004330884,0.0002624585,0.00002954847],"category_scores_gemma":[0.001794186,0.0002918938,0.0002079762,0.0004130043,0.0003072381,0.0003256976,0.001200003,0.0007549011,0.00003436062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001408743,"about_ca_system_score_gemma":0.0003326973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003255986,"about_ca_topic_score_gemma":0.0003263936,"domain_scores_codex":[0.9945864,0.002974332,0.0004872064,0.0009960026,0.0005217271,0.0004343007],"domain_scores_gemma":[0.9895688,0.003044091,0.0007219528,0.004534414,0.002000646,0.0001301359],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002628777,0.0002180708,0.00004719244,0.00007946189,0.00006326899,9.440872e-7,0.006500571,0.0001128648,0.0001465226,0.9001353,0.0004703001,0.09219916],"study_design_scores_gemma":[0.002144578,0.000009377173,0.007433658,0.004317513,0.0002049856,0.00005268548,0.0002367206,0.4433791,0.2085723,0.2922099,0.03938476,0.002054369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003958869,0.0003358338,0.9636866,0.004781845,0.000512766,0.001124141,0.0000207343,0.0003477889,0.02523141],"genre_scores_gemma":[0.2236363,0.0001243108,0.772989,0.0002475147,0.00003077377,0.0004185387,0.00006592721,0.00005133635,0.002436292],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6079255,"threshold_uncertainty_score":0.9999533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03750347955549675,"score_gpt":0.263110473279615,"score_spread":0.2256069937241182,"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."}}