{"id":"W1507306347","doi":"10.1023/a:1013339920783","title":"Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Abstraction; Supervisory control; State space; Hybrid system; Existential quantification; State (computer science); Approximation theory; Control (management); Space (punctuation); Mathematics; Control system; Point (geometry); Computer science; Discrete mathematics; Applied mathematics; Algorithm; Mathematical analysis; Artificial intelligence; Engineering","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.001461882,0.0005209958,0.00145449,0.0003358388,0.0005621208,0.001511618,0.001160055,0.0007082425,0.001468197],"category_scores_gemma":[0.004495182,0.0004272604,0.0006309141,0.0003104021,0.001459649,0.001041835,0.001222556,0.001582564,0.0001869823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001272247,"about_ca_system_score_gemma":0.00134643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006439378,"about_ca_topic_score_gemma":0.005641593,"domain_scores_codex":[0.9991573,0.0002843002,0.00004749353,0.00017157,0.0002401677,0.00009914081],"domain_scores_gemma":[0.9968618,0.002085868,0.0003906841,0.0002081077,0.0003366732,0.0001167884],"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.0002834548,0.00004114475,0.0002874119,0.0001044922,0.00004352479,0.00006490508,0.0002066176,0.9437531,0.002866603,0.03239739,0.000370726,0.01958059],"study_design_scores_gemma":[0.00001779621,0.0000264066,0.00005442982,0.000005673318,0.000004650577,0.000004443265,0.000007455964,0.9929823,0.0004212413,0.006315409,0.0001554525,0.000004763623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03851292,0.0001601228,0.9583837,0.000128736,0.00004495431,0.00002807463,0.00004502854,0.0002926594,0.002403832],"genre_scores_gemma":[0.9602416,0.0001063087,0.03786559,0.00004402775,0.00002363367,0.0001076008,0.00007091647,0.00002929504,0.001511098],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006439378,"threshold_uncertainty_score":0.01280379,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02825970214907624,"score_gpt":0.2387633250202957,"score_spread":0.2105036228712195,"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."}}