Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025366469> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2025366469 endingPage "502" @default.
- W2025366469 startingPage "492" @default.
- W2025366469 abstract "Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed." @default.
- W2025366469 created "2016-06-24" @default.
- W2025366469 creator A5001849550 @default.
- W2025366469 creator A5006279709 @default.
- W2025366469 creator A5033376085 @default.
- W2025366469 date "2011-07-01" @default.
- W2025366469 modified "2023-09-27" @default.
- W2025366469 title "Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator" @default.
- W2025366469 cites W1979349468 @default.
- W2025366469 cites W1984458862 @default.
- W2025366469 cites W1991750096 @default.
- W2025366469 cites W2013460416 @default.
- W2025366469 cites W2078233504 @default.
- W2025366469 cites W2097523314 @default.
- W2025366469 cites W2098729916 @default.
- W2025366469 cites W2101933728 @default.
- W2025366469 cites W2120565643 @default.
- W2025366469 cites W2126086148 @default.
- W2025366469 cites W2131451245 @default.
- W2025366469 cites W2141547596 @default.
- W2025366469 doi "https://doi.org/10.1016/j.sysconle.2011.04.005" @default.
- W2025366469 hasPublicationYear "2011" @default.
- W2025366469 type Work @default.
- W2025366469 sameAs 2025366469 @default.
- W2025366469 citedByCount "24" @default.
- W2025366469 countsByYear W20253664692012 @default.
- W2025366469 countsByYear W20253664692013 @default.
- W2025366469 countsByYear W20253664692014 @default.
- W2025366469 countsByYear W20253664692015 @default.
- W2025366469 countsByYear W20253664692016 @default.
- W2025366469 countsByYear W20253664692017 @default.
- W2025366469 countsByYear W20253664692018 @default.
- W2025366469 countsByYear W20253664692019 @default.
- W2025366469 countsByYear W20253664692022 @default.
- W2025366469 crossrefType "journal-article" @default.
- W2025366469 hasAuthorship W2025366469A5001849550 @default.
- W2025366469 hasAuthorship W2025366469A5006279709 @default.
- W2025366469 hasAuthorship W2025366469A5033376085 @default.
- W2025366469 hasBestOaLocation W20253664692 @default.
- W2025366469 hasConcept C101468663 @default.
- W2025366469 hasConcept C105795698 @default.
- W2025366469 hasConcept C11413529 @default.
- W2025366469 hasConcept C121332964 @default.
- W2025366469 hasConcept C154945302 @default.
- W2025366469 hasConcept C199360897 @default.
- W2025366469 hasConcept C2776157432 @default.
- W2025366469 hasConcept C2779662365 @default.
- W2025366469 hasConcept C28826006 @default.
- W2025366469 hasConcept C33923547 @default.
- W2025366469 hasConcept C41008148 @default.
- W2025366469 hasConcept C45374587 @default.
- W2025366469 hasConcept C48209547 @default.
- W2025366469 hasConcept C62520636 @default.
- W2025366469 hasConcept C79772020 @default.
- W2025366469 hasConcept C80444323 @default.
- W2025366469 hasConceptScore W2025366469C101468663 @default.
- W2025366469 hasConceptScore W2025366469C105795698 @default.
- W2025366469 hasConceptScore W2025366469C11413529 @default.
- W2025366469 hasConceptScore W2025366469C121332964 @default.
- W2025366469 hasConceptScore W2025366469C154945302 @default.
- W2025366469 hasConceptScore W2025366469C199360897 @default.
- W2025366469 hasConceptScore W2025366469C2776157432 @default.
- W2025366469 hasConceptScore W2025366469C2779662365 @default.
- W2025366469 hasConceptScore W2025366469C28826006 @default.
- W2025366469 hasConceptScore W2025366469C33923547 @default.
- W2025366469 hasConceptScore W2025366469C41008148 @default.
- W2025366469 hasConceptScore W2025366469C45374587 @default.
- W2025366469 hasConceptScore W2025366469C48209547 @default.
- W2025366469 hasConceptScore W2025366469C62520636 @default.
- W2025366469 hasConceptScore W2025366469C79772020 @default.
- W2025366469 hasConceptScore W2025366469C80444323 @default.
- W2025366469 hasIssue "7" @default.
- W2025366469 hasLocation W20253664691 @default.
- W2025366469 hasLocation W20253664692 @default.
- W2025366469 hasOpenAccess W2025366469 @default.
- W2025366469 hasPrimaryLocation W20253664691 @default.
- W2025366469 hasRelatedWork W1515507694 @default.
- W2025366469 hasRelatedWork W1528041266 @default.
- W2025366469 hasRelatedWork W1556974297 @default.
- W2025366469 hasRelatedWork W2025366469 @default.
- W2025366469 hasRelatedWork W2028823459 @default.
- W2025366469 hasRelatedWork W2033302304 @default.
- W2025366469 hasRelatedWork W2036553902 @default.
- W2025366469 hasRelatedWork W2059303404 @default.
- W2025366469 hasRelatedWork W2208813557 @default.
- W2025366469 hasRelatedWork W2931212672 @default.
- W2025366469 hasVolume "60" @default.
- W2025366469 isParatext "false" @default.
- W2025366469 isRetracted "false" @default.
- W2025366469 magId "2025366469" @default.
- W2025366469 workType "article" @default.