Matches in SemOpenAlex for { <https://semopenalex.org/work/W2984969948> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2984969948 abstract "SCUBA diving is an activity in which divers remain underwater for prolonged periods by using a self-contained breathing apparatus. Diving is safety critical because changing depth too rapidly or running out of oxygen before surfacing can result in life-threatening consequences. These risks are currently minimized by using a wrist-mounted, 'air-integrated' dive computer that monitors time, depth and air tank pressure (received through expensive wireless transceivers or a hose). These computers are costly for the average recreational dive.We present a hybrid systems model and safety proof for a SCUBA diving computer that estimates air consumption of the diver using commodity heart rate sensors, instead. We employ a mathematical model of oxygen uptake in response to exercise and thereby predict the time remaining for the air supply to be depleted, as well as obviate the need for a tank-mounted wireless transmitter or the cumbersome hose integrated computer for directly monitoring tank pressure. We formally verify a controller that ensures the diver can always surface without running out of breathable air." @default.
- W2984969948 created "2019-11-22" @default.
- W2984969948 creator A5064150422 @default.
- W2984969948 creator A5068834027 @default.
- W2984969948 creator A5069329835 @default.
- W2984969948 creator A5080481427 @default.
- W2984969948 date "2019-10-13" @default.
- W2984969948 modified "2023-10-10" @default.
- W2984969948 title "Verifiably safe SCUBA diving using commodity sensors" @default.
- W2984969948 cites W2023827157 @default.
- W2984969948 cites W2111715484 @default.
- W2984969948 cites W2144145396 @default.
- W2984969948 cites W2885880873 @default.
- W2984969948 cites W3104303413 @default.
- W2984969948 doi "https://doi.org/10.1145/3349568.3351554" @default.
- W2984969948 hasPublicationYear "2019" @default.
- W2984969948 type Work @default.
- W2984969948 sameAs 2984969948 @default.
- W2984969948 citedByCount "0" @default.
- W2984969948 crossrefType "proceedings-article" @default.
- W2984969948 hasAuthorship W2984969948A5064150422 @default.
- W2984969948 hasAuthorship W2984969948A5068834027 @default.
- W2984969948 hasAuthorship W2984969948A5069329835 @default.
- W2984969948 hasAuthorship W2984969948A5080481427 @default.
- W2984969948 hasBestOaLocation W29849699481 @default.
- W2984969948 hasConcept C10138342 @default.
- W2984969948 hasConcept C111368507 @default.
- W2984969948 hasConcept C127313418 @default.
- W2984969948 hasConcept C127413603 @default.
- W2984969948 hasConcept C144133560 @default.
- W2984969948 hasConcept C199104240 @default.
- W2984969948 hasConcept C2779439359 @default.
- W2984969948 hasConcept C3018648624 @default.
- W2984969948 hasConcept C41008148 @default.
- W2984969948 hasConceptScore W2984969948C10138342 @default.
- W2984969948 hasConceptScore W2984969948C111368507 @default.
- W2984969948 hasConceptScore W2984969948C127313418 @default.
- W2984969948 hasConceptScore W2984969948C127413603 @default.
- W2984969948 hasConceptScore W2984969948C144133560 @default.
- W2984969948 hasConceptScore W2984969948C199104240 @default.
- W2984969948 hasConceptScore W2984969948C2779439359 @default.
- W2984969948 hasConceptScore W2984969948C3018648624 @default.
- W2984969948 hasConceptScore W2984969948C41008148 @default.
- W2984969948 hasLocation W29849699481 @default.
- W2984969948 hasOpenAccess W2984969948 @default.
- W2984969948 hasPrimaryLocation W29849699481 @default.
- W2984969948 hasRelatedWork W1593137993 @default.
- W2984969948 hasRelatedWork W1967193646 @default.
- W2984969948 hasRelatedWork W1976689800 @default.
- W2984969948 hasRelatedWork W1989330289 @default.
- W2984969948 hasRelatedWork W2004222018 @default.
- W2984969948 hasRelatedWork W2005030228 @default.
- W2984969948 hasRelatedWork W2035056831 @default.
- W2984969948 hasRelatedWork W2132097692 @default.
- W2984969948 hasRelatedWork W3000652436 @default.
- W2984969948 hasRelatedWork W80498800 @default.
- W2984969948 isParatext "false" @default.
- W2984969948 isRetracted "false" @default.
- W2984969948 magId "2984969948" @default.
- W2984969948 workType "article" @default.