Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014856413> ?p ?o ?g. }
- W3014856413 abstract "In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through inferring metric temporal logic (MTL) formulae from simulated trajectories from the hybrid system. We first approximate the system behavior by simulating finitely many trajectories with timerobust tube segments around them. These time-robust tube segments account for both spatial and temporal uncertainties that exist in the hybrid system with initial state variations. The inferred MTL formulae classify different time-robust tube segments and thus can be used for classifying the hybrid system behaviors in a provably correct fashion. We implement our approach on a model of a smart building testbed to distinguish two cases of room occupancy." @default.
- W3014856413 created "2020-04-10" @default.
- W3014856413 creator A5013789785 @default.
- W3014856413 creator A5015076117 @default.
- W3014856413 creator A5029921181 @default.
- W3014856413 date "2020-04-04" @default.
- W3014856413 modified "2023-10-14" @default.
- W3014856413 title "Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties" @default.
- W3014856413 cites W1485129834 @default.
- W3014856413 cites W1508536183 @default.
- W3014856413 cites W1513065235 @default.
- W3014856413 cites W1533557569 @default.
- W3014856413 cites W1540883472 @default.
- W3014856413 cites W15659978 @default.
- W3014856413 cites W1796872423 @default.
- W3014856413 cites W2004463571 @default.
- W3014856413 cites W2011665592 @default.
- W3014856413 cites W2060347105 @default.
- W3014856413 cites W2097320111 @default.
- W3014856413 cites W2101508170 @default.
- W3014856413 cites W2107278508 @default.
- W3014856413 cites W2129039806 @default.
- W3014856413 cites W2135296533 @default.
- W3014856413 cites W2150454902 @default.
- W3014856413 cites W2153024173 @default.
- W3014856413 cites W2292167759 @default.
- W3014856413 cites W2311017383 @default.
- W3014856413 cites W2339807279 @default.
- W3014856413 cites W2426537415 @default.
- W3014856413 cites W2474788619 @default.
- W3014856413 cites W2531762107 @default.
- W3014856413 cites W2543580944 @default.
- W3014856413 cites W2555454845 @default.
- W3014856413 cites W2561446158 @default.
- W3014856413 cites W2566678492 @default.
- W3014856413 cites W2607176293 @default.
- W3014856413 cites W2736009769 @default.
- W3014856413 cites W2739202896 @default.
- W3014856413 cites W27464976 @default.
- W3014856413 cites W2765229960 @default.
- W3014856413 cites W2782930901 @default.
- W3014856413 cites W2807270760 @default.
- W3014856413 cites W2886292185 @default.
- W3014856413 cites W2941294659 @default.
- W3014856413 cites W2955404434 @default.
- W3014856413 cites W2964890016 @default.
- W3014856413 cites W2972698871 @default.
- W3014856413 cites W2991657688 @default.
- W3014856413 cites W3012060347 @default.
- W3014856413 cites W3038024405 @default.
- W3014856413 cites W3100743289 @default.
- W3014856413 cites W59350782 @default.
- W3014856413 cites W3046090096 @default.
- W3014856413 doi "https://doi.org/10.48550/arxiv.2004.02018" @default.
- W3014856413 hasPublicationYear "2020" @default.
- W3014856413 type Work @default.
- W3014856413 sameAs 3014856413 @default.
- W3014856413 citedByCount "0" @default.
- W3014856413 crossrefType "posted-content" @default.
- W3014856413 hasAuthorship W3014856413A5013789785 @default.
- W3014856413 hasAuthorship W3014856413A5015076117 @default.
- W3014856413 hasAuthorship W3014856413A5029921181 @default.
- W3014856413 hasBestOaLocation W30148564131 @default.
- W3014856413 hasConcept C11413529 @default.
- W3014856413 hasConcept C119857082 @default.
- W3014856413 hasConcept C121332964 @default.
- W3014856413 hasConcept C127413603 @default.
- W3014856413 hasConcept C153180895 @default.
- W3014856413 hasConcept C154945302 @default.
- W3014856413 hasConcept C176217482 @default.
- W3014856413 hasConcept C21547014 @default.
- W3014856413 hasConcept C25016198 @default.
- W3014856413 hasConcept C2776214188 @default.
- W3014856413 hasConcept C31258907 @default.
- W3014856413 hasConcept C31395832 @default.
- W3014856413 hasConcept C41008148 @default.
- W3014856413 hasConcept C50897621 @default.
- W3014856413 hasConcept C62520636 @default.
- W3014856413 hasConcept C80444323 @default.
- W3014856413 hasConcept C89611455 @default.
- W3014856413 hasConceptScore W3014856413C11413529 @default.
- W3014856413 hasConceptScore W3014856413C119857082 @default.
- W3014856413 hasConceptScore W3014856413C121332964 @default.
- W3014856413 hasConceptScore W3014856413C127413603 @default.
- W3014856413 hasConceptScore W3014856413C153180895 @default.
- W3014856413 hasConceptScore W3014856413C154945302 @default.
- W3014856413 hasConceptScore W3014856413C176217482 @default.
- W3014856413 hasConceptScore W3014856413C21547014 @default.
- W3014856413 hasConceptScore W3014856413C25016198 @default.
- W3014856413 hasConceptScore W3014856413C2776214188 @default.
- W3014856413 hasConceptScore W3014856413C31258907 @default.
- W3014856413 hasConceptScore W3014856413C31395832 @default.
- W3014856413 hasConceptScore W3014856413C41008148 @default.
- W3014856413 hasConceptScore W3014856413C50897621 @default.
- W3014856413 hasConceptScore W3014856413C62520636 @default.
- W3014856413 hasConceptScore W3014856413C80444323 @default.
- W3014856413 hasConceptScore W3014856413C89611455 @default.
- W3014856413 hasLocation W30148564131 @default.
- W3014856413 hasOpenAccess W3014856413 @default.
- W3014856413 hasPrimaryLocation W30148564131 @default.