Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312269548> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4312269548 abstract "A multi-car elevator (MCE) system has more than two cars in a single shaft. For MCE, both safety avoiding collision of cars and efficiency obtaining high performance of passengers satisfaction are expected. Uppaal is a statistical model checking tool based on stochastic timed automata that can handle time constraints and stochastic transitions, and performs both formal verification for the safety property and symbolic simulation based statistical analysis to obtain efficient passengers assignments. In this study, we investigate the use of Uppaal tool to obtain safety and efficient control laws of MCE." @default.
- W4312269548 created "2023-01-04" @default.
- W4312269548 creator A5054747843 @default.
- W4312269548 creator A5059314157 @default.
- W4312269548 creator A5091455495 @default.
- W4312269548 date "2022-09-09" @default.
- W4312269548 modified "2023-10-16" @default.
- W4312269548 title "An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking" @default.
- W4312269548 doi "https://doi.org/10.1109/icmlc56445.2022.9941319" @default.
- W4312269548 hasPublicationYear "2022" @default.
- W4312269548 type Work @default.
- W4312269548 citedByCount "0" @default.
- W4312269548 crossrefType "proceedings-article" @default.
- W4312269548 hasAuthorship W4312269548A5054747843 @default.
- W4312269548 hasAuthorship W4312269548A5059314157 @default.
- W4312269548 hasAuthorship W4312269548A5091455495 @default.
- W4312269548 hasConcept C110251889 @default.
- W4312269548 hasConcept C111472728 @default.
- W4312269548 hasConcept C111498074 @default.
- W4312269548 hasConcept C112505250 @default.
- W4312269548 hasConcept C11413529 @default.
- W4312269548 hasConcept C115903868 @default.
- W4312269548 hasConcept C121704057 @default.
- W4312269548 hasConcept C127413603 @default.
- W4312269548 hasConcept C138885662 @default.
- W4312269548 hasConcept C147021018 @default.
- W4312269548 hasConcept C154945302 @default.
- W4312269548 hasConcept C189950617 @default.
- W4312269548 hasConcept C2775924081 @default.
- W4312269548 hasConcept C38652104 @default.
- W4312269548 hasConcept C41008148 @default.
- W4312269548 hasConcept C66938386 @default.
- W4312269548 hasConcept C75606506 @default.
- W4312269548 hasConcept C80444323 @default.
- W4312269548 hasConceptScore W4312269548C110251889 @default.
- W4312269548 hasConceptScore W4312269548C111472728 @default.
- W4312269548 hasConceptScore W4312269548C111498074 @default.
- W4312269548 hasConceptScore W4312269548C112505250 @default.
- W4312269548 hasConceptScore W4312269548C11413529 @default.
- W4312269548 hasConceptScore W4312269548C115903868 @default.
- W4312269548 hasConceptScore W4312269548C121704057 @default.
- W4312269548 hasConceptScore W4312269548C127413603 @default.
- W4312269548 hasConceptScore W4312269548C138885662 @default.
- W4312269548 hasConceptScore W4312269548C147021018 @default.
- W4312269548 hasConceptScore W4312269548C154945302 @default.
- W4312269548 hasConceptScore W4312269548C189950617 @default.
- W4312269548 hasConceptScore W4312269548C2775924081 @default.
- W4312269548 hasConceptScore W4312269548C38652104 @default.
- W4312269548 hasConceptScore W4312269548C41008148 @default.
- W4312269548 hasConceptScore W4312269548C66938386 @default.
- W4312269548 hasConceptScore W4312269548C75606506 @default.
- W4312269548 hasConceptScore W4312269548C80444323 @default.
- W4312269548 hasLocation W43122695481 @default.
- W4312269548 hasOpenAccess W4312269548 @default.
- W4312269548 hasPrimaryLocation W43122695481 @default.
- W4312269548 hasRelatedWork W1512683083 @default.
- W4312269548 hasRelatedWork W1995748565 @default.
- W4312269548 hasRelatedWork W1996360727 @default.
- W4312269548 hasRelatedWork W2073200103 @default.
- W4312269548 hasRelatedWork W2117798332 @default.
- W4312269548 hasRelatedWork W2202657245 @default.
- W4312269548 hasRelatedWork W2368274917 @default.
- W4312269548 hasRelatedWork W2370841479 @default.
- W4312269548 hasRelatedWork W4312269548 @default.
- W4312269548 hasRelatedWork W2746280673 @default.
- W4312269548 isParatext "false" @default.
- W4312269548 isRetracted "false" @default.
- W4312269548 workType "article" @default.