Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100054110> ?p ?o ?g. }
- W2100054110 endingPage "772" @default.
- W2100054110 startingPage "757" @default.
- W2100054110 abstract "This study deals with the formal modeling and verification of reconfigurable discrete event control systems (RDECSs). The behavior of an RDECS is represented by that of control components (CCs) and the communication among them. A new formalism, called Reconfigurable Timed Net Condition/Event Systems (TNCES) (R-TNCES), is proposed for the optimal functional and temporal specification of RDECS, which is defined by a behavior module and a control module. The former is a union of various superposed TNCESs, where TNCES-based CC modules are basic units. The latter is a set of reconfiguration functions dealing with the automatic transformations of these TNCESs in response to errors or user requirements by enabling or disabling CC modules, changing condition signals and/or event signals among them, and also treating the state feasibility before and after reconfigurations. To control the verification complexity of R-TNCES, a layer-by-layer verification method is developed, where the similarities of different TNCESs in the behavior module are considered. The contribution of this original paper is applied to a benchmark production system." @default.
- W2100054110 created "2016-06-24" @default.
- W2100054110 creator A5010993181 @default.
- W2100054110 creator A5015650914 @default.
- W2100054110 creator A5045305170 @default.
- W2100054110 creator A5049696138 @default.
- W2100054110 creator A5084238918 @default.
- W2100054110 date "2013-07-01" @default.
- W2100054110 modified "2023-10-12" @default.
- W2100054110 title "R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems" @default.
- W2100054110 cites W1490850339 @default.
- W2100054110 cites W1759934887 @default.
- W2100054110 cites W1894254590 @default.
- W2100054110 cites W1956402222 @default.
- W2100054110 cites W1968268217 @default.
- W2100054110 cites W1969863209 @default.
- W2100054110 cites W1991601635 @default.
- W2100054110 cites W1999478142 @default.
- W2100054110 cites W1999986721 @default.
- W2100054110 cites W2005217875 @default.
- W2100054110 cites W2032196025 @default.
- W2100054110 cites W2035556324 @default.
- W2100054110 cites W2037933704 @default.
- W2100054110 cites W2042616238 @default.
- W2100054110 cites W2050920716 @default.
- W2100054110 cites W2084880958 @default.
- W2100054110 cites W2085101251 @default.
- W2100054110 cites W2089870759 @default.
- W2100054110 cites W2098222787 @default.
- W2100054110 cites W2098552099 @default.
- W2100054110 cites W2109329940 @default.
- W2100054110 cites W2109476103 @default.
- W2100054110 cites W2110052743 @default.
- W2100054110 cites W2110992821 @default.
- W2100054110 cites W2117189826 @default.
- W2100054110 cites W2118898045 @default.
- W2100054110 cites W2119345544 @default.
- W2100054110 cites W2120481296 @default.
- W2100054110 cites W2122471000 @default.
- W2100054110 cites W2123087270 @default.
- W2100054110 cites W2124245423 @default.
- W2100054110 cites W2132355828 @default.
- W2100054110 cites W2132883297 @default.
- W2100054110 cites W2135085142 @default.
- W2100054110 cites W2139596769 @default.
- W2100054110 cites W2143085560 @default.
- W2100054110 cites W2145547589 @default.
- W2100054110 cites W2147740041 @default.
- W2100054110 cites W2163839607 @default.
- W2100054110 cites W2169431049 @default.
- W2100054110 cites W2170610519 @default.
- W2100054110 cites W2263584683 @default.
- W2100054110 doi "https://doi.org/10.1109/tsmca.2012.2217321" @default.
- W2100054110 hasPublicationYear "2013" @default.
- W2100054110 type Work @default.
- W2100054110 sameAs 2100054110 @default.
- W2100054110 citedByCount "55" @default.
- W2100054110 countsByYear W21000541102014 @default.
- W2100054110 countsByYear W21000541102015 @default.
- W2100054110 countsByYear W21000541102016 @default.
- W2100054110 countsByYear W21000541102017 @default.
- W2100054110 countsByYear W21000541102018 @default.
- W2100054110 countsByYear W21000541102019 @default.
- W2100054110 countsByYear W21000541102020 @default.
- W2100054110 countsByYear W21000541102021 @default.
- W2100054110 countsByYear W21000541102023 @default.
- W2100054110 crossrefType "journal-article" @default.
- W2100054110 hasAuthorship W2100054110A5010993181 @default.
- W2100054110 hasAuthorship W2100054110A5015650914 @default.
- W2100054110 hasAuthorship W2100054110A5045305170 @default.
- W2100054110 hasAuthorship W2100054110A5049696138 @default.
- W2100054110 hasAuthorship W2100054110A5084238918 @default.
- W2100054110 hasConcept C111498074 @default.
- W2100054110 hasConcept C119599485 @default.
- W2100054110 hasConcept C119701452 @default.
- W2100054110 hasConcept C120314980 @default.
- W2100054110 hasConcept C127413603 @default.
- W2100054110 hasConcept C13280743 @default.
- W2100054110 hasConcept C142362112 @default.
- W2100054110 hasConcept C149635348 @default.
- W2100054110 hasConcept C153349607 @default.
- W2100054110 hasConcept C17500928 @default.
- W2100054110 hasConcept C185798385 @default.
- W2100054110 hasConcept C199360897 @default.
- W2100054110 hasConcept C205649164 @default.
- W2100054110 hasConcept C32866371 @default.
- W2100054110 hasConcept C41008148 @default.
- W2100054110 hasConcept C558565934 @default.
- W2100054110 hasConcept C73301696 @default.
- W2100054110 hasConcept C75606506 @default.
- W2100054110 hasConcept C80444323 @default.
- W2100054110 hasConcept C96314035 @default.
- W2100054110 hasConceptScore W2100054110C111498074 @default.
- W2100054110 hasConceptScore W2100054110C119599485 @default.
- W2100054110 hasConceptScore W2100054110C119701452 @default.
- W2100054110 hasConceptScore W2100054110C120314980 @default.
- W2100054110 hasConceptScore W2100054110C127413603 @default.
- W2100054110 hasConceptScore W2100054110C13280743 @default.