Matches in SemOpenAlex for { <https://semopenalex.org/work/W85521357> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W85521357 endingPage "4848" @default.
- W85521357 startingPage "4843" @default.
- W85521357 abstract "The paper describes a model-based approach to the formal verification of sequential control programs for chemical processes. It is assumed that the control software is represented as a Sequential Function Chart (SFC) which may include timing constraints for the control actions. The verification method is based on a timed ConditionlEvent (CIE) model of the uncontrolled plant which will be connected to an equivalent model of the SFC. The set of reachable states in the resulting closed-loop system is determined and compared to a set of forbidden states. A process control example serves to motivate and illustrate the approach." @default.
- W85521357 created "2016-06-24" @default.
- W85521357 creator A5019982470 @default.
- W85521357 creator A5045764822 @default.
- W85521357 date "1996-06-01" @default.
- W85521357 modified "2023-10-18" @default.
- W85521357 title "Verification of Sequential Controllers with Timing Functions for Chemical Processes" @default.
- W85521357 cites W2004463571 @default.
- W85521357 cites W2078984959 @default.
- W85521357 cites W2088658960 @default.
- W85521357 cites W2100567878 @default.
- W85521357 cites W2133978468 @default.
- W85521357 cites W94849683 @default.
- W85521357 cites W2707784435 @default.
- W85521357 doi "https://doi.org/10.1016/s1474-6670(17)58447-5" @default.
- W85521357 hasPublicationYear "1996" @default.
- W85521357 type Work @default.
- W85521357 sameAs 85521357 @default.
- W85521357 citedByCount "11" @default.
- W85521357 countsByYear W855213572013 @default.
- W85521357 crossrefType "journal-article" @default.
- W85521357 hasAuthorship W85521357A5019982470 @default.
- W85521357 hasAuthorship W85521357A5045764822 @default.
- W85521357 hasConcept C119599485 @default.
- W85521357 hasConcept C127413603 @default.
- W85521357 hasConcept C133731056 @default.
- W85521357 hasConcept C14036430 @default.
- W85521357 hasConcept C154945302 @default.
- W85521357 hasConcept C155386361 @default.
- W85521357 hasConcept C17500928 @default.
- W85521357 hasConcept C177264268 @default.
- W85521357 hasConcept C199360897 @default.
- W85521357 hasConcept C2775924081 @default.
- W85521357 hasConcept C41008148 @default.
- W85521357 hasConcept C47446073 @default.
- W85521357 hasConcept C78458016 @default.
- W85521357 hasConcept C86803240 @default.
- W85521357 hasConcept C98045186 @default.
- W85521357 hasConceptScore W85521357C119599485 @default.
- W85521357 hasConceptScore W85521357C127413603 @default.
- W85521357 hasConceptScore W85521357C133731056 @default.
- W85521357 hasConceptScore W85521357C14036430 @default.
- W85521357 hasConceptScore W85521357C154945302 @default.
- W85521357 hasConceptScore W85521357C155386361 @default.
- W85521357 hasConceptScore W85521357C17500928 @default.
- W85521357 hasConceptScore W85521357C177264268 @default.
- W85521357 hasConceptScore W85521357C199360897 @default.
- W85521357 hasConceptScore W85521357C2775924081 @default.
- W85521357 hasConceptScore W85521357C41008148 @default.
- W85521357 hasConceptScore W85521357C47446073 @default.
- W85521357 hasConceptScore W85521357C78458016 @default.
- W85521357 hasConceptScore W85521357C86803240 @default.
- W85521357 hasConceptScore W85521357C98045186 @default.
- W85521357 hasIssue "1" @default.
- W85521357 hasLocation W855213571 @default.
- W85521357 hasOpenAccess W85521357 @default.
- W85521357 hasPrimaryLocation W855213571 @default.
- W85521357 hasRelatedWork W1948024256 @default.
- W85521357 hasRelatedWork W1953828881 @default.
- W85521357 hasRelatedWork W1969909374 @default.
- W85521357 hasRelatedWork W2116800748 @default.
- W85521357 hasRelatedWork W2254308208 @default.
- W85521357 hasRelatedWork W2366610600 @default.
- W85521357 hasRelatedWork W2375866959 @default.
- W85521357 hasRelatedWork W2548212430 @default.
- W85521357 hasRelatedWork W2658285887 @default.
- W85521357 hasRelatedWork W3022100432 @default.
- W85521357 hasVolume "29" @default.
- W85521357 isParatext "false" @default.
- W85521357 isRetracted "false" @default.
- W85521357 magId "85521357" @default.
- W85521357 workType "article" @default.