{"id":"W2769292243","doi":"10.1109/iceee.2017.8108839","title":"Automatic reconfiguration of untimed discrete-event systems","year":2017,"lang":"en","type":"preprint","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Control reconfiguration; Reachability; Computer science; Finite-state machine; State (computer science); Backtracking; Supervisory control; Event (particle physics); Controller (irrigation); Distributed computing; Control (management); Programming language; Theoretical computer science; Embedded 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007556645,0.0004882251,0.0005055876,0.00029879,0.0003492206,0.0009862764,0.0008908249,0.0005550594,0.001828643],"category_scores_gemma":[0.002509061,0.000298618,0.0006919199,0.000298491,0.0009901125,0.001155035,0.001048198,0.0009905495,0.0003086966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004571366,"about_ca_system_score_gemma":0.0004831913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007296062,"about_ca_topic_score_gemma":0.0008687774,"domain_scores_codex":[0.9990871,0.000238338,0.00008174195,0.0002361754,0.0002447928,0.0001118875],"domain_scores_gemma":[0.9985669,0.0008174218,0.0001721112,0.0003026545,0.00009459525,0.00004622289],"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.0002138677,0.00007042004,0.000613544,0.0002702286,0.00005491997,0.0008035912,0.0003228455,0.7224191,0.03927279,0.1498903,0.001191308,0.08487701],"study_design_scores_gemma":[0.00003579689,0.00004473386,0.0001909334,0.00001586553,0.0000114327,0.00008833988,0.00002311112,0.9248129,0.008983181,0.06217638,0.003603014,0.00001437548],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04442521,0.0002241238,0.9482003,0.0001235573,0.00007969841,0.00005294457,0.00009272603,0.001530561,0.005270847],"genre_scores_gemma":[0.8681459,0.0002361438,0.1279753,0.00009518798,0.00004166843,0.0001451812,0.0002415092,0.0001392914,0.002979806],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001828643,"threshold_uncertainty_score":0.006117404,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04154042297709566,"score_gpt":0.3033265196695412,"score_spread":0.2617860966924456,"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."}}