{"id":"W2176758301","doi":"10.1007/978-3-642-24431-5_6","title":"A SAT-Based Approach for the Construction of Reusable Control System Components","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Modular design; Supervisor; Component (thermodynamics); Construct (python library); Interface (matter); Control (management); Observer (physics); Control system; Distributed computing; Software engineering; Programming language; Artificial intelligence; Operating system","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.00214804,0.0004954216,0.0008167322,0.0006496035,0.0003511004,0.000249732,0.004599511,0.0003372951,0.000002322909],"category_scores_gemma":[0.00008668512,0.0003668695,0.0002409014,0.0005317291,0.0009322673,0.0003167636,0.0005239183,0.0004851646,0.000005684114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003063214,"about_ca_system_score_gemma":0.0005552439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005408213,"about_ca_topic_score_gemma":0.000007150686,"domain_scores_codex":[0.9960712,0.00007760127,0.0009003179,0.00131655,0.001034523,0.0005998571],"domain_scores_gemma":[0.9951859,0.001230145,0.0008345011,0.002082572,0.0005564429,0.0001104077],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008809558,0.00007303132,0.0001707728,0.0008997286,0.00009915074,0.00001332232,0.0006344932,0.6772618,0.0004548535,0.1485991,0.0000205765,0.171685],"study_design_scores_gemma":[0.0007373172,0.0001208498,0.0000169791,0.0005874219,0.00002961246,0.00007866193,5.77186e-7,0.9883547,0.0006868872,0.008790188,0.000225431,0.0003713207],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002119584,0.0005941147,0.9936719,0.0001075707,0.002297443,0.001377973,0.00002624673,0.0001500452,0.001753493],"genre_scores_gemma":[0.4348349,0.000003770418,0.5646912,0.0001687495,0.0001951307,0.00004612298,0.00000454328,0.00002489391,0.00003067981],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4348136,"threshold_uncertainty_score":0.9998783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03344981855326438,"score_gpt":0.2260523571430561,"score_spread":0.1926025385897917,"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."}}