Matches in SemOpenAlex for { <https://semopenalex.org/work/W4280587866> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4280587866 abstract "Cyber-physical systems allow interactions with the physical world using a network of sensors and actuators. They also form basis of future technologies via engaging in innovating within many crucial fields: health, transport, smart grid, etc. Modeling cyber-physical systems requires handling the evolution of continuous measurements. Generally this evolution is repre-sented by ordinary differential equations where the unknown variable denotes a set of functions that depend on a single independent variable. The aim of our work is to propose a correct-by-construction formal approach, based on the refinement technique of the Event-B method, to model and verify such systems. However, Event-B does not handle the resolution of ordinary differential equations. To overcome this limit, we suggest to combine Event-B with the differential equation solver SageMath. This paper presents our approach by means of the hybrid smart heating system case study." @default.
- W4280587866 created "2022-05-22" @default.
- W4280587866 creator A5020424258 @default.
- W4280587866 creator A5075846670 @default.
- W4280587866 creator A5088533154 @default.
- W4280587866 date "2022-03-01" @default.
- W4280587866 modified "2023-10-18" @default.
- W4280587866 title "Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study" @default.
- W4280587866 cites W159136752 @default.
- W4280587866 cites W2057214761 @default.
- W4280587866 cites W2090445846 @default.
- W4280587866 cites W2110837847 @default.
- W4280587866 cites W2143110421 @default.
- W4280587866 cites W2169239645 @default.
- W4280587866 cites W2531670358 @default.
- W4280587866 cites W2590993945 @default.
- W4280587866 cites W2800102471 @default.
- W4280587866 cites W3027622534 @default.
- W4280587866 cites W4207065544 @default.
- W4280587866 cites W4244819751 @default.
- W4280587866 cites W622938260 @default.
- W4280587866 doi "https://doi.org/10.1109/iceccs54210.2022.00019" @default.
- W4280587866 hasPublicationYear "2022" @default.
- W4280587866 type Work @default.
- W4280587866 citedByCount "1" @default.
- W4280587866 countsByYear W42805878662023 @default.
- W4280587866 crossrefType "proceedings-article" @default.
- W4280587866 hasAuthorship W4280587866A5020424258 @default.
- W4280587866 hasAuthorship W4280587866A5075846670 @default.
- W4280587866 hasAuthorship W4280587866A5088533154 @default.
- W4280587866 hasConcept C111919701 @default.
- W4280587866 hasConcept C116672817 @default.
- W4280587866 hasConcept C119857082 @default.
- W4280587866 hasConcept C120314980 @default.
- W4280587866 hasConcept C121332964 @default.
- W4280587866 hasConcept C134306372 @default.
- W4280587866 hasConcept C177264268 @default.
- W4280587866 hasConcept C179768478 @default.
- W4280587866 hasConcept C182365436 @default.
- W4280587866 hasConcept C199360897 @default.
- W4280587866 hasConcept C2778770139 @default.
- W4280587866 hasConcept C2779662365 @default.
- W4280587866 hasConcept C33923547 @default.
- W4280587866 hasConcept C41008148 @default.
- W4280587866 hasConcept C50897621 @default.
- W4280587866 hasConcept C51544822 @default.
- W4280587866 hasConcept C62520636 @default.
- W4280587866 hasConcept C78045399 @default.
- W4280587866 hasConcept C80444323 @default.
- W4280587866 hasConceptScore W4280587866C111919701 @default.
- W4280587866 hasConceptScore W4280587866C116672817 @default.
- W4280587866 hasConceptScore W4280587866C119857082 @default.
- W4280587866 hasConceptScore W4280587866C120314980 @default.
- W4280587866 hasConceptScore W4280587866C121332964 @default.
- W4280587866 hasConceptScore W4280587866C134306372 @default.
- W4280587866 hasConceptScore W4280587866C177264268 @default.
- W4280587866 hasConceptScore W4280587866C179768478 @default.
- W4280587866 hasConceptScore W4280587866C182365436 @default.
- W4280587866 hasConceptScore W4280587866C199360897 @default.
- W4280587866 hasConceptScore W4280587866C2778770139 @default.
- W4280587866 hasConceptScore W4280587866C2779662365 @default.
- W4280587866 hasConceptScore W4280587866C33923547 @default.
- W4280587866 hasConceptScore W4280587866C41008148 @default.
- W4280587866 hasConceptScore W4280587866C50897621 @default.
- W4280587866 hasConceptScore W4280587866C51544822 @default.
- W4280587866 hasConceptScore W4280587866C62520636 @default.
- W4280587866 hasConceptScore W4280587866C78045399 @default.
- W4280587866 hasConceptScore W4280587866C80444323 @default.
- W4280587866 hasLocation W42805878661 @default.
- W4280587866 hasLocation W42805878662 @default.
- W4280587866 hasOpenAccess W4280587866 @default.
- W4280587866 hasPrimaryLocation W42805878661 @default.
- W4280587866 hasRelatedWork W1803004510 @default.
- W4280587866 hasRelatedWork W2011399371 @default.
- W4280587866 hasRelatedWork W2023913932 @default.
- W4280587866 hasRelatedWork W2086691323 @default.
- W4280587866 hasRelatedWork W2406166122 @default.
- W4280587866 hasRelatedWork W2810903773 @default.
- W4280587866 hasRelatedWork W2940740705 @default.
- W4280587866 hasRelatedWork W3085051862 @default.
- W4280587866 hasRelatedWork W4236165618 @default.
- W4280587866 hasRelatedWork W4280587866 @default.
- W4280587866 isParatext "false" @default.
- W4280587866 isRetracted "false" @default.
- W4280587866 workType "article" @default.