{"id":"W2986720777","doi":"10.70930/tac/8ej2pxy9","title":"Formal composition of hybrid systems","year":2020,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Modular Robots and Swarm Intelligence","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Office of Naval Research","keywords":"Morphism; Composition (language); Embedding; Category theory; Computer science; Hybrid system; Rewriting; Directed acyclic graph; Categorical variable; Theoretical computer science; Compatibility (geochemistry); Mathematics; Algorithm; Programming language; Artificial intelligence; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007950061,0.00004203335,0.00008965644,0.00001406431,0.00002653855,0.000005485931,0.00006005787,0.00001070211,0.000009115219],"category_scores_gemma":[0.000002234525,0.00003886102,0.00001321496,0.00005309649,0.00006640224,0.0000625989,0.0000114925,0.00002850673,0.000002675104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001709793,"about_ca_system_score_gemma":0.000002801724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002246933,"about_ca_topic_score_gemma":4.705836e-8,"domain_scores_codex":[0.9997326,0.00001003962,0.0001284098,0.00004434901,0.00003728863,0.00004730123],"domain_scores_gemma":[0.9998141,0.00003173831,0.00002502206,0.00007700882,0.00002778837,0.00002436098],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001358296,0.000006537092,0.00001745891,0.0002476027,0.00001456042,1.092717e-7,0.0003211239,0.01398507,0.01238831,0.9673584,0.00003157003,0.005615639],"study_design_scores_gemma":[0.0001700952,0.00008935991,0.0001184182,0.00002967081,0.00005415632,0.00001706637,0.001524201,0.02927405,0.8952038,0.06768847,0.005605796,0.0002248985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1200563,0.001090968,0.876653,0.0000190638,0.00001566277,0.0001336957,0.00002023969,0.00004240698,0.001968576],"genre_scores_gemma":[0.9996839,0.0001004318,0.0001267734,0.000007134412,0.00002810965,0.00002781154,0.00001154295,0.000004842253,0.000009417765],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8996699,"threshold_uncertainty_score":0.1584706,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009555705651660995,"score_gpt":0.2114248449983188,"score_spread":0.2018691393466578,"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."}}