Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168423629> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2168423629 abstract "Hybrid and real-time designs are ubiquitous in computing and control systems. There are three prevalent methods for verifying real-time and hybrid systems: simulation, model-checking, and theorem proving. None of these approaches are ideal. This paper presents a verification approach based on refinement. In our refinement framework, we first establish safety properties for a simplified, abstract model of the design and then show that these are inherited by progressively more detailed models. In this approach, we see a hybrid system as a hybrid model: part of the system is modeled with discrete time and state, and other parts are modeled with continuous quantities. The paper illustrates this approach with the design of a simple state-machine for a traffic light." @default.
- W2168423629 created "2016-06-24" @default.
- W2168423629 creator A5087823003 @default.
- W2168423629 date "2000-01-01" @default.
- W2168423629 modified "2023-09-26" @default.
- W2168423629 title "Pragmatic verification for hybrid and real-time designs" @default.
- W2168423629 cites W2076513239 @default.
- W2168423629 cites W2099120582 @default.
- W2168423629 cites W2124778357 @default.
- W2168423629 cites W2132107743 @default.
- W2168423629 cites W2157186737 @default.
- W2168423629 doi "https://doi.org/10.1109/acc.2000.878987" @default.
- W2168423629 hasPublicationYear "2000" @default.
- W2168423629 type Work @default.
- W2168423629 sameAs 2168423629 @default.
- W2168423629 citedByCount "1" @default.
- W2168423629 crossrefType "proceedings-article" @default.
- W2168423629 hasAuthorship W2168423629A5087823003 @default.
- W2168423629 hasConcept C110251889 @default.
- W2168423629 hasConcept C111472728 @default.
- W2168423629 hasConcept C111498074 @default.
- W2168423629 hasConcept C11413529 @default.
- W2168423629 hasConcept C119857082 @default.
- W2168423629 hasConcept C120314980 @default.
- W2168423629 hasConcept C138885662 @default.
- W2168423629 hasConcept C167822520 @default.
- W2168423629 hasConcept C2776639384 @default.
- W2168423629 hasConcept C2780586882 @default.
- W2168423629 hasConcept C41008148 @default.
- W2168423629 hasConcept C48103436 @default.
- W2168423629 hasConcept C50897621 @default.
- W2168423629 hasConcept C80444323 @default.
- W2168423629 hasConceptScore W2168423629C110251889 @default.
- W2168423629 hasConceptScore W2168423629C111472728 @default.
- W2168423629 hasConceptScore W2168423629C111498074 @default.
- W2168423629 hasConceptScore W2168423629C11413529 @default.
- W2168423629 hasConceptScore W2168423629C119857082 @default.
- W2168423629 hasConceptScore W2168423629C120314980 @default.
- W2168423629 hasConceptScore W2168423629C138885662 @default.
- W2168423629 hasConceptScore W2168423629C167822520 @default.
- W2168423629 hasConceptScore W2168423629C2776639384 @default.
- W2168423629 hasConceptScore W2168423629C2780586882 @default.
- W2168423629 hasConceptScore W2168423629C41008148 @default.
- W2168423629 hasConceptScore W2168423629C48103436 @default.
- W2168423629 hasConceptScore W2168423629C50897621 @default.
- W2168423629 hasConceptScore W2168423629C80444323 @default.
- W2168423629 hasLocation W21684236291 @default.
- W2168423629 hasOpenAccess W2168423629 @default.
- W2168423629 hasPrimaryLocation W21684236291 @default.
- W2168423629 hasRelatedWork W1508094735 @default.
- W2168423629 hasRelatedWork W1527643591 @default.
- W2168423629 hasRelatedWork W1554967464 @default.
- W2168423629 hasRelatedWork W1750230415 @default.
- W2168423629 hasRelatedWork W1963859990 @default.
- W2168423629 hasRelatedWork W1978652092 @default.
- W2168423629 hasRelatedWork W2004349831 @default.
- W2168423629 hasRelatedWork W2020776316 @default.
- W2168423629 hasRelatedWork W2068709765 @default.
- W2168423629 hasRelatedWork W2084506880 @default.
- W2168423629 hasRelatedWork W2100122069 @default.
- W2168423629 hasRelatedWork W2101082593 @default.
- W2168423629 hasRelatedWork W2111326967 @default.
- W2168423629 hasRelatedWork W2114371948 @default.
- W2168423629 hasRelatedWork W2127296226 @default.
- W2168423629 hasRelatedWork W2244335405 @default.
- W2168423629 hasRelatedWork W2246685225 @default.
- W2168423629 hasRelatedWork W247680932 @default.
- W2168423629 hasRelatedWork W2572661615 @default.
- W2168423629 hasRelatedWork W3039955840 @default.
- W2168423629 isParatext "false" @default.
- W2168423629 isRetracted "false" @default.
- W2168423629 magId "2168423629" @default.
- W2168423629 workType "article" @default.