FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008701203> ?p ?o ?g. }

• W2008701203 abstract "This paper presents a temporal logic formulation of discrete event control which forms a new theoretical basis for control analysis and synthesis of a class of discrete event systems (DES). Based on the formulation, a basic supervisory control theory is developed for a control objective specified by an invariance formula belonging to the safety canonical class of Manna and Pneuli. Using the safety canonical class as a basis, the refinement and generalization of the existing basic predicate framework are demonstrated. A simple example illustrates the formal axiomatic means to perform control-theoretic analysis and synthesis under the new formulation." @default.
• W2008701203 created "2016-06-24" @default.
• W2008701203 creator A5001990444 @default.
• W2008701203 creator A5049109774 @default.
• W2008701203 date "1996-08-01" @default.
• W2008701203 modified "2023-10-02" @default.
• W2008701203 title "A temporal logic approach to discrete event control for the safety canonical class" @default.
• W2008701203 cites W1974202634 @default.
• W2008701203 cites W1979349468 @default.
• W2008701203 cites W1982948055 @default.
• W2008701203 cites W2007288716 @default.
• W2008701203 cites W2025459956 @default.
• W2008701203 cites W2061400421 @default.
• W2008701203 cites W2110446158 @default.
• W2008701203 cites W2121782671 @default.
• W2008701203 cites W2169888024 @default.
• W2008701203 doi "https://doi.org/10.1016/0167-6911(96)00032-1" @default.
• W2008701203 hasPublicationYear "1996" @default.
• W2008701203 type Work @default.
• W2008701203 sameAs 2008701203 @default.
• W2008701203 citedByCount "19" @default.
• W2008701203 countsByYear W20087012032013 @default.
• W2008701203 countsByYear W20087012032015 @default.
• W2008701203 countsByYear W20087012032017 @default.
• W2008701203 countsByYear W20087012032018 @default.
• W2008701203 countsByYear W20087012032021 @default.
• W2008701203 countsByYear W20087012032022 @default.
• W2008701203 crossrefType "journal-article" @default.
• W2008701203 hasAuthorship W2008701203A5001990444 @default.
• W2008701203 hasAuthorship W2008701203A5049109774 @default.
• W2008701203 hasConcept C111472728 @default.
• W2008701203 hasConcept C11413529 @default.
• W2008701203 hasConcept C121332964 @default.
• W2008701203 hasConcept C12426560 @default.
• W2008701203 hasConcept C134306372 @default.
• W2008701203 hasConcept C136119220 @default.
• W2008701203 hasConcept C138885662 @default.
• W2008701203 hasConcept C140146324 @default.
• W2008701203 hasConcept C154945302 @default.
• W2008701203 hasConcept C167729594 @default.
• W2008701203 hasConcept C177148314 @default.
• W2008701203 hasConcept C199360897 @default.
• W2008701203 hasConcept C202444582 @default.
• W2008701203 hasConcept C204707403 @default.
• W2008701203 hasConcept C25016198 @default.
• W2008701203 hasConcept C2524010 @default.
• W2008701203 hasConcept C2775924081 @default.
• W2008701203 hasConcept C2777212361 @default.
• W2008701203 hasConcept C2778693208 @default.
• W2008701203 hasConcept C2779662365 @default.
• W2008701203 hasConcept C2780586882 @default.
• W2008701203 hasConcept C33923547 @default.
• W2008701203 hasConcept C41008148 @default.
• W2008701203 hasConcept C4777664 @default.
• W2008701203 hasConcept C62520636 @default.
• W2008701203 hasConcept C80444323 @default.
• W2008701203 hasConcept C92991967 @default.
• W2008701203 hasConceptScore W2008701203C111472728 @default.
• W2008701203 hasConceptScore W2008701203C11413529 @default.
• W2008701203 hasConceptScore W2008701203C121332964 @default.
• W2008701203 hasConceptScore W2008701203C12426560 @default.
• W2008701203 hasConceptScore W2008701203C134306372 @default.
• W2008701203 hasConceptScore W2008701203C136119220 @default.
• W2008701203 hasConceptScore W2008701203C138885662 @default.
• W2008701203 hasConceptScore W2008701203C140146324 @default.
• W2008701203 hasConceptScore W2008701203C154945302 @default.
• W2008701203 hasConceptScore W2008701203C167729594 @default.
• W2008701203 hasConceptScore W2008701203C177148314 @default.
• W2008701203 hasConceptScore W2008701203C199360897 @default.
• W2008701203 hasConceptScore W2008701203C202444582 @default.
• W2008701203 hasConceptScore W2008701203C204707403 @default.
• W2008701203 hasConceptScore W2008701203C25016198 @default.
• W2008701203 hasConceptScore W2008701203C2524010 @default.
• W2008701203 hasConceptScore W2008701203C2775924081 @default.
• W2008701203 hasConceptScore W2008701203C2777212361 @default.
• W2008701203 hasConceptScore W2008701203C2778693208 @default.
• W2008701203 hasConceptScore W2008701203C2779662365 @default.
• W2008701203 hasConceptScore W2008701203C2780586882 @default.
• W2008701203 hasConceptScore W2008701203C33923547 @default.
• W2008701203 hasConceptScore W2008701203C41008148 @default.
• W2008701203 hasConceptScore W2008701203C4777664 @default.
• W2008701203 hasConceptScore W2008701203C62520636 @default.
• W2008701203 hasConceptScore W2008701203C80444323 @default.
• W2008701203 hasConceptScore W2008701203C92991967 @default.
• W2008701203 hasLocation W20087012031 @default.
• W2008701203 hasOpenAccess W2008701203 @default.
• W2008701203 hasPrimaryLocation W20087012031 @default.
• W2008701203 hasRelatedWork W142677425 @default.
• W2008701203 hasRelatedWork W1497487247 @default.
• W2008701203 hasRelatedWork W1534752314 @default.
• W2008701203 hasRelatedWork W1587663028 @default.
• W2008701203 hasRelatedWork W1612453857 @default.
• W2008701203 hasRelatedWork W1968205873 @default.
• W2008701203 hasRelatedWork W1970092510 @default.
• W2008701203 hasRelatedWork W1979349468 @default.
• W2008701203 hasRelatedWork W2015027349 @default.
• W2008701203 hasRelatedWork W2023808162 @default.
• W2008701203 hasRelatedWork W2070292176 @default.
• W2008701203 hasRelatedWork W2071884226 @default.
• W2008701203 hasRelatedWork W2072078345 @default.

• next