{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003782885,0.0008538695,0.00049714,0.002129263,0.001445897,0.002462256,0.001780847,0.001114454,0.006279729],"category_scores_gemma":[0.00393474,0.0005684437,0.001989941,0.001150522,0.005010915,0.004198086,0.003808557,0.002033521,0.001094119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001997203,"about_ca_system_score_gemma":0.001568548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002595121,"about_ca_topic_score_gemma":0.001829718,"domain_scores_codex":[0.9966354,0.001081414,0.0003095181,0.0005832274,0.001130843,0.0002597109],"domain_scores_gemma":[0.9978226,0.0009332479,0.0001832779,0.0003644786,0.0005696229,0.0001266573],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004072777,0.000006790698,0.0000745962,0.00003925691,0.00000787173,0.00005849809,0.0001861943,0.003990456,0.0005880812,0.9906076,0.0002456856,0.004190913],"study_design_scores_gemma":[0.00001457922,0.00003515552,0.00009662916,0.00005265599,0.00001863596,0.0001497197,0.0001200855,0.04013758,0.001634826,0.9189546,0.03876433,0.00002113948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003117294,0.000346663,0.9859914,0.0002718958,0.0001101484,0.00006179038,0.00007092589,0.0002458169,0.009784007],"genre_scores_gemma":[0.2680693,0.0008392753,0.7179481,0.0004101891,0.0002648306,0.0006259716,0.0004181538,0.0002510656,0.01117321],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006279729,"threshold_uncertainty_score":0.02100784,"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."}}