Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783273611> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2783273611 abstract "Renewables play an important role in today's sustainable power and energy systems. In this paper, we model and analyze an FPGA based power management system for renewables by using the UPPAAL modeling and verification tool. Our main objective is to ensure correctness of the system design using formal methods based techniques. Through our case study, we establish the correctness of the FPGA based control algorithm with respect to the system requirements. All requirements regarding effective utilization of loads and sources by their activation and deactivation, and also requirements of battery bank (which ensures that battery will not charge and discharge deeply), are specified using Timed Computation Tree logic. On the basis of our analysis, we confirm that the design of the implemented power management system conforms to its specifications." @default.
- W2783273611 created "2018-01-26" @default.
- W2783273611 creator A5007523854 @default.
- W2783273611 creator A5025853082 @default.
- W2783273611 creator A5029928673 @default.
- W2783273611 creator A5062656725 @default.
- W2783273611 creator A5064403796 @default.
- W2783273611 date "2017-09-01" @default.
- W2783273611 modified "2023-09-27" @default.
- W2783273611 title "Modeling and analysis of FPGA based power management system for renewables" @default.
- W2783273611 cites W2786548346 @default.
- W2783273611 doi "https://doi.org/10.1109/etfa.2017.8247717" @default.
- W2783273611 hasPublicationYear "2017" @default.
- W2783273611 type Work @default.
- W2783273611 sameAs 2783273611 @default.
- W2783273611 citedByCount "0" @default.
- W2783273611 crossrefType "proceedings-article" @default.
- W2783273611 hasAuthorship W2783273611A5007523854 @default.
- W2783273611 hasAuthorship W2783273611A5025853082 @default.
- W2783273611 hasAuthorship W2783273611A5029928673 @default.
- W2783273611 hasAuthorship W2783273611A5062656725 @default.
- W2783273611 hasAuthorship W2783273611A5064403796 @default.
- W2783273611 hasConcept C105795698 @default.
- W2783273611 hasConcept C11413529 @default.
- W2783273611 hasConcept C119599485 @default.
- W2783273611 hasConcept C121332964 @default.
- W2783273611 hasConcept C127413603 @default.
- W2783273611 hasConcept C149635348 @default.
- W2783273611 hasConcept C163258240 @default.
- W2783273611 hasConcept C186370098 @default.
- W2783273611 hasConcept C188573790 @default.
- W2783273611 hasConcept C200601418 @default.
- W2783273611 hasConcept C201995342 @default.
- W2783273611 hasConcept C2778774385 @default.
- W2783273611 hasConcept C2781260460 @default.
- W2783273611 hasConcept C33923547 @default.
- W2783273611 hasConcept C41008148 @default.
- W2783273611 hasConcept C42935608 @default.
- W2783273611 hasConcept C55439883 @default.
- W2783273611 hasConcept C555008776 @default.
- W2783273611 hasConcept C62520636 @default.
- W2783273611 hasConcept C7817414 @default.
- W2783273611 hasConcept C89227174 @default.
- W2783273611 hasConceptScore W2783273611C105795698 @default.
- W2783273611 hasConceptScore W2783273611C11413529 @default.
- W2783273611 hasConceptScore W2783273611C119599485 @default.
- W2783273611 hasConceptScore W2783273611C121332964 @default.
- W2783273611 hasConceptScore W2783273611C127413603 @default.
- W2783273611 hasConceptScore W2783273611C149635348 @default.
- W2783273611 hasConceptScore W2783273611C163258240 @default.
- W2783273611 hasConceptScore W2783273611C186370098 @default.
- W2783273611 hasConceptScore W2783273611C188573790 @default.
- W2783273611 hasConceptScore W2783273611C200601418 @default.
- W2783273611 hasConceptScore W2783273611C201995342 @default.
- W2783273611 hasConceptScore W2783273611C2778774385 @default.
- W2783273611 hasConceptScore W2783273611C2781260460 @default.
- W2783273611 hasConceptScore W2783273611C33923547 @default.
- W2783273611 hasConceptScore W2783273611C41008148 @default.
- W2783273611 hasConceptScore W2783273611C42935608 @default.
- W2783273611 hasConceptScore W2783273611C55439883 @default.
- W2783273611 hasConceptScore W2783273611C555008776 @default.
- W2783273611 hasConceptScore W2783273611C62520636 @default.
- W2783273611 hasConceptScore W2783273611C7817414 @default.
- W2783273611 hasConceptScore W2783273611C89227174 @default.
- W2783273611 hasLocation W27832736111 @default.
- W2783273611 hasOpenAccess W2783273611 @default.
- W2783273611 hasPrimaryLocation W27832736111 @default.
- W2783273611 hasRelatedWork W1568420105 @default.
- W2783273611 hasRelatedWork W1974362641 @default.
- W2783273611 hasRelatedWork W1974765700 @default.
- W2783273611 hasRelatedWork W2042233075 @default.
- W2783273611 hasRelatedWork W2076671117 @default.
- W2783273611 hasRelatedWork W2156832626 @default.
- W2783273611 hasRelatedWork W2261448798 @default.
- W2783273611 hasRelatedWork W2377589743 @default.
- W2783273611 hasRelatedWork W2552374351 @default.
- W2783273611 hasRelatedWork W2559467098 @default.
- W2783273611 hasRelatedWork W2581318959 @default.
- W2783273611 hasRelatedWork W2588944872 @default.
- W2783273611 hasRelatedWork W2595127925 @default.
- W2783273611 hasRelatedWork W2801114864 @default.
- W2783273611 hasRelatedWork W2802675736 @default.
- W2783273611 hasRelatedWork W2912261588 @default.
- W2783273611 hasRelatedWork W2912505014 @default.
- W2783273611 hasRelatedWork W2997655640 @default.
- W2783273611 hasRelatedWork W3104110410 @default.
- W2783273611 hasRelatedWork W3132293965 @default.
- W2783273611 isParatext "false" @default.
- W2783273611 isRetracted "false" @default.
- W2783273611 magId "2783273611" @default.
- W2783273611 workType "article" @default.