Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126102312> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2126102312 abstract "When designing embedded systems, often the need arises to model systems having a mixed discrete and continuous behavior (i.e., hybrid systems) that cannot be characterized faithfully using either only discrete or only continuous MoCs (models of computation). Hybrid automata [1] have been proved to be a powerful MoC for the design and verification of hybrid systems, but their high-level of abstraction cannot take into account all the details of the typical HW/SW designs. For this reason, once the hybrid model of the system is proved to be correct, is still necessary to derive an implementable model of the hybrid system. Very few works in literature have focused on developing techniques for extracting a correct by construction HW/SW implementation from hybrid automata [2], [3]. Unfortunately, these approaches are able to refine, into a systematic way, only a subclass of hybrid automata, thus they allow to automatically implement only a small class of hybrid systems. For this reason, it is not uncommon to manually refine hybrid automata into their corresponding discrete (e.g., SystemC [4]) or (approximated) continuous implementations (e.g., SystemC-AMS [4], Matlab Simulink). In such a case the refined system must be verified again to guarantee its correctness. In this context, it would be valuable to reuse as much as possible properties defined for the verification of hybrid automata to reduce the need of an error prone and time consuming ex-novo property definitions. To the best of our knowledge the refinement of formal properties from the hybrid into the discrete domains is still an open problem. The proposed methodology aims to fill this gap." @default.
- W2126102312 created "2016-06-24" @default.
- W2126102312 creator A5002126777 @default.
- W2126102312 creator A5025088388 @default.
- W2126102312 creator A5040302302 @default.
- W2126102312 date "2011-11-01" @default.
- W2126102312 modified "2023-10-14" @default.
- W2126102312 title "Interactive presentation abstract: Reusing of properties after discretization of hybrid automata" @default.
- W2126102312 cites W1992626344 @default.
- W2126102312 cites W2112417426 @default.
- W2126102312 cites W2127495914 @default.
- W2126102312 cites W2147340401 @default.
- W2126102312 doi "https://doi.org/10.1109/hldvt.2011.6114170" @default.
- W2126102312 hasPublicationYear "2011" @default.
- W2126102312 type Work @default.
- W2126102312 sameAs 2126102312 @default.
- W2126102312 citedByCount "0" @default.
- W2126102312 crossrefType "proceedings-article" @default.
- W2126102312 hasAuthorship W2126102312A5002126777 @default.
- W2126102312 hasAuthorship W2126102312A5025088388 @default.
- W2126102312 hasAuthorship W2126102312A5040302302 @default.
- W2126102312 hasConcept C111472728 @default.
- W2126102312 hasConcept C111498074 @default.
- W2126102312 hasConcept C112505250 @default.
- W2126102312 hasConcept C11413529 @default.
- W2126102312 hasConcept C119857082 @default.
- W2126102312 hasConcept C124304363 @default.
- W2126102312 hasConcept C138885662 @default.
- W2126102312 hasConcept C18903297 @default.
- W2126102312 hasConcept C199360897 @default.
- W2126102312 hasConcept C206588197 @default.
- W2126102312 hasConcept C2776028153 @default.
- W2126102312 hasConcept C2776928060 @default.
- W2126102312 hasConcept C41008148 @default.
- W2126102312 hasConcept C50897621 @default.
- W2126102312 hasConcept C55439883 @default.
- W2126102312 hasConcept C80444323 @default.
- W2126102312 hasConcept C86803240 @default.
- W2126102312 hasConceptScore W2126102312C111472728 @default.
- W2126102312 hasConceptScore W2126102312C111498074 @default.
- W2126102312 hasConceptScore W2126102312C112505250 @default.
- W2126102312 hasConceptScore W2126102312C11413529 @default.
- W2126102312 hasConceptScore W2126102312C119857082 @default.
- W2126102312 hasConceptScore W2126102312C124304363 @default.
- W2126102312 hasConceptScore W2126102312C138885662 @default.
- W2126102312 hasConceptScore W2126102312C18903297 @default.
- W2126102312 hasConceptScore W2126102312C199360897 @default.
- W2126102312 hasConceptScore W2126102312C206588197 @default.
- W2126102312 hasConceptScore W2126102312C2776028153 @default.
- W2126102312 hasConceptScore W2126102312C2776928060 @default.
- W2126102312 hasConceptScore W2126102312C41008148 @default.
- W2126102312 hasConceptScore W2126102312C50897621 @default.
- W2126102312 hasConceptScore W2126102312C55439883 @default.
- W2126102312 hasConceptScore W2126102312C80444323 @default.
- W2126102312 hasConceptScore W2126102312C86803240 @default.
- W2126102312 hasLocation W21261023121 @default.
- W2126102312 hasOpenAccess W2126102312 @default.
- W2126102312 hasPrimaryLocation W21261023121 @default.
- W2126102312 hasRelatedWork W109547946 @default.
- W2126102312 hasRelatedWork W129752279 @default.
- W2126102312 hasRelatedWork W187824920 @default.
- W2126102312 hasRelatedWork W1997449287 @default.
- W2126102312 hasRelatedWork W2100710006 @default.
- W2126102312 hasRelatedWork W2165173221 @default.
- W2126102312 hasRelatedWork W2165214723 @default.
- W2126102312 hasRelatedWork W2188869759 @default.
- W2126102312 hasRelatedWork W2732505710 @default.
- W2126102312 hasRelatedWork W2743585695 @default.
- W2126102312 isParatext "false" @default.
- W2126102312 isRetracted "false" @default.
- W2126102312 magId "2126102312" @default.
- W2126102312 workType "article" @default.