Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100367092> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2100367092 endingPage "794" @default.
- W2100367092 startingPage "785" @default.
- W2100367092 abstract "The analysis (verification, diagnosis, control, etc.) of discrete event systems requires a correct model of the system and of its specifications. In this paper, we present a new modeling formalism for generating valid models of complex systems. The class of systems this applies to is one which consists of signals that take binary values. The technique presented here makes the task of modeling considerably less cumbersome and less error-prone and is user-friendly. Another advantage of using this modeling formalism is that the size of the system model is polynomial in the number of signals, whereas the number of states in the automata models is exponential in the number of signals. We present automated techniques for deriving an automaton-based model from the model in the proposed formalism. We illustrate the modeling formalism using examples drawn from manufacturing systems and process control." @default.
- W2100367092 created "2016-06-24" @default.
- W2100367092 creator A5044031773 @default.
- W2100367092 creator A5047505682 @default.
- W2100367092 date "2001-01-01" @default.
- W2100367092 modified "2023-10-14" @default.
- W2100367092 title "A discrete event systems modeling formalism based on event occurrence rules and precedences" @default.
- W2100367092 cites W1497487247 @default.
- W2100367092 cites W1979349468 @default.
- W2100367092 cites W2009979047 @default.
- W2100367092 cites W2136090289 @default.
- W2100367092 doi "https://doi.org/10.1109/70.975991" @default.
- W2100367092 hasPublicationYear "2001" @default.
- W2100367092 type Work @default.
- W2100367092 sameAs 2100367092 @default.
- W2100367092 citedByCount "12" @default.
- W2100367092 countsByYear W21003670922012 @default.
- W2100367092 countsByYear W21003670922018 @default.
- W2100367092 countsByYear W21003670922020 @default.
- W2100367092 crossrefType "journal-article" @default.
- W2100367092 hasAuthorship W2100367092A5044031773 @default.
- W2100367092 hasAuthorship W2100367092A5047505682 @default.
- W2100367092 hasConcept C110963975 @default.
- W2100367092 hasConcept C112505250 @default.
- W2100367092 hasConcept C11413529 @default.
- W2100367092 hasConcept C115903868 @default.
- W2100367092 hasConcept C142362112 @default.
- W2100367092 hasConcept C153349607 @default.
- W2100367092 hasConcept C32866371 @default.
- W2100367092 hasConcept C33923547 @default.
- W2100367092 hasConcept C41008148 @default.
- W2100367092 hasConcept C48372109 @default.
- W2100367092 hasConcept C558565934 @default.
- W2100367092 hasConcept C73301696 @default.
- W2100367092 hasConcept C80444323 @default.
- W2100367092 hasConcept C94375191 @default.
- W2100367092 hasConcept C96314035 @default.
- W2100367092 hasConceptScore W2100367092C110963975 @default.
- W2100367092 hasConceptScore W2100367092C112505250 @default.
- W2100367092 hasConceptScore W2100367092C11413529 @default.
- W2100367092 hasConceptScore W2100367092C115903868 @default.
- W2100367092 hasConceptScore W2100367092C142362112 @default.
- W2100367092 hasConceptScore W2100367092C153349607 @default.
- W2100367092 hasConceptScore W2100367092C32866371 @default.
- W2100367092 hasConceptScore W2100367092C33923547 @default.
- W2100367092 hasConceptScore W2100367092C41008148 @default.
- W2100367092 hasConceptScore W2100367092C48372109 @default.
- W2100367092 hasConceptScore W2100367092C558565934 @default.
- W2100367092 hasConceptScore W2100367092C73301696 @default.
- W2100367092 hasConceptScore W2100367092C80444323 @default.
- W2100367092 hasConceptScore W2100367092C94375191 @default.
- W2100367092 hasConceptScore W2100367092C96314035 @default.
- W2100367092 hasIssue "6" @default.
- W2100367092 hasLocation W21003670921 @default.
- W2100367092 hasOpenAccess W2100367092 @default.
- W2100367092 hasPrimaryLocation W21003670921 @default.
- W2100367092 hasRelatedWork W1573019320 @default.
- W2100367092 hasRelatedWork W1578702885 @default.
- W2100367092 hasRelatedWork W1974975325 @default.
- W2100367092 hasRelatedWork W2038010400 @default.
- W2100367092 hasRelatedWork W2100367092 @default.
- W2100367092 hasRelatedWork W2106982023 @default.
- W2100367092 hasRelatedWork W2110414997 @default.
- W2100367092 hasRelatedWork W2180724905 @default.
- W2100367092 hasRelatedWork W2484578205 @default.
- W2100367092 hasRelatedWork W2491261674 @default.
- W2100367092 hasVolume "17" @default.
- W2100367092 isParatext "false" @default.
- W2100367092 isRetracted "false" @default.
- W2100367092 magId "2100367092" @default.
- W2100367092 workType "article" @default.