Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002130414> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2002130414 endingPage "10" @default.
- W2002130414 startingPage "7" @default.
- W2002130414 abstract "Many Cyber-Physical Systems (CPS) are highly nondeterministic. This often makes it impractical to model and predict the complete system behavior. To address this problem, we propose that instead of offline modeling and verification, many CPS systems should be modeled and verified online, and we shall focus on the system's time-bounded behavior in short-run future , which is more describable and predictable. Meanwhile, as the system model is generated/updated online, the verification has to be fast. It is meaningless to tell an online model is unsafe when it is already out-dated. To demonstrate the feasibility of our proposal, we study two cases of our ongoing projects, one on the modeling and verification of a train control system, and the other on a Medical Device Plug-and-Play (MDPnP) application. Both cases are about safety-critical CPS systems. Through these two cases, we exemplify how to build online models that describe the time-bounded short-run behavior of CPS systems; and we show that fast online modeling and verification is possible." @default.
- W2002130414 created "2016-06-24" @default.
- W2002130414 creator A5029676029 @default.
- W2002130414 creator A5033510051 @default.
- W2002130414 creator A5059361292 @default.
- W2002130414 creator A5075789912 @default.
- W2002130414 creator A5075972332 @default.
- W2002130414 creator A5090305216 @default.
- W2002130414 creator A5090810072 @default.
- W2002130414 date "2011-06-01" @default.
- W2002130414 modified "2023-10-14" @default.
- W2002130414 title "Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior" @default.
- W2002130414 cites W1522694098 @default.
- W2002130414 cites W1971575936 @default.
- W2002130414 cites W2040637657 @default.
- W2002130414 cites W2153173530 @default.
- W2002130414 cites W2156598086 @default.
- W2002130414 cites W2163304527 @default.
- W2002130414 doi "https://doi.org/10.1145/2000367.2000368" @default.
- W2002130414 hasPublicationYear "2011" @default.
- W2002130414 type Work @default.
- W2002130414 sameAs 2002130414 @default.
- W2002130414 citedByCount "48" @default.
- W2002130414 countsByYear W20021304142012 @default.
- W2002130414 countsByYear W20021304142013 @default.
- W2002130414 countsByYear W20021304142014 @default.
- W2002130414 countsByYear W20021304142015 @default.
- W2002130414 countsByYear W20021304142016 @default.
- W2002130414 countsByYear W20021304142017 @default.
- W2002130414 countsByYear W20021304142018 @default.
- W2002130414 countsByYear W20021304142019 @default.
- W2002130414 countsByYear W20021304142020 @default.
- W2002130414 countsByYear W20021304142021 @default.
- W2002130414 countsByYear W20021304142022 @default.
- W2002130414 countsByYear W20021304142023 @default.
- W2002130414 crossrefType "journal-article" @default.
- W2002130414 hasAuthorship W2002130414A5029676029 @default.
- W2002130414 hasAuthorship W2002130414A5033510051 @default.
- W2002130414 hasAuthorship W2002130414A5059361292 @default.
- W2002130414 hasAuthorship W2002130414A5075789912 @default.
- W2002130414 hasAuthorship W2002130414A5075972332 @default.
- W2002130414 hasAuthorship W2002130414A5090305216 @default.
- W2002130414 hasAuthorship W2002130414A5090810072 @default.
- W2002130414 hasConcept C110251889 @default.
- W2002130414 hasConcept C111919701 @default.
- W2002130414 hasConcept C120314980 @default.
- W2002130414 hasConcept C134306372 @default.
- W2002130414 hasConcept C176181172 @default.
- W2002130414 hasConcept C179768478 @default.
- W2002130414 hasConcept C33923547 @default.
- W2002130414 hasConcept C34388435 @default.
- W2002130414 hasConcept C41008148 @default.
- W2002130414 hasConcept C79403827 @default.
- W2002130414 hasConcept C80444323 @default.
- W2002130414 hasConceptScore W2002130414C110251889 @default.
- W2002130414 hasConceptScore W2002130414C111919701 @default.
- W2002130414 hasConceptScore W2002130414C120314980 @default.
- W2002130414 hasConceptScore W2002130414C134306372 @default.
- W2002130414 hasConceptScore W2002130414C176181172 @default.
- W2002130414 hasConceptScore W2002130414C179768478 @default.
- W2002130414 hasConceptScore W2002130414C33923547 @default.
- W2002130414 hasConceptScore W2002130414C34388435 @default.
- W2002130414 hasConceptScore W2002130414C41008148 @default.
- W2002130414 hasConceptScore W2002130414C79403827 @default.
- W2002130414 hasConceptScore W2002130414C80444323 @default.
- W2002130414 hasFunder F4320321001 @default.
- W2002130414 hasFunder F4320321540 @default.
- W2002130414 hasFunder F4320321592 @default.
- W2002130414 hasFunder F4320322598 @default.
- W2002130414 hasIssue "2" @default.
- W2002130414 hasLocation W20021304141 @default.
- W2002130414 hasOpenAccess W2002130414 @default.
- W2002130414 hasPrimaryLocation W20021304141 @default.
- W2002130414 hasRelatedWork W1501494652 @default.
- W2002130414 hasRelatedWork W1559358658 @default.
- W2002130414 hasRelatedWork W1896342373 @default.
- W2002130414 hasRelatedWork W1965032334 @default.
- W2002130414 hasRelatedWork W2002130414 @default.
- W2002130414 hasRelatedWork W2050837210 @default.
- W2002130414 hasRelatedWork W2074833236 @default.
- W2002130414 hasRelatedWork W2389015196 @default.
- W2002130414 hasRelatedWork W1583104989 @default.
- W2002130414 hasRelatedWork W2583261385 @default.
- W2002130414 hasVolume "8" @default.
- W2002130414 isParatext "false" @default.
- W2002130414 isRetracted "false" @default.
- W2002130414 magId "2002130414" @default.
- W2002130414 workType "article" @default.