Matches in SemOpenAlex for { <https://semopenalex.org/work/W115896635> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W115896635 abstract "Safety verification for hybrid systems is a very important issue but also a very complex one. The abstraction is a mean to simplify it by shifting from global considerations to local ones. The aim of this paper is to present an overview of techniques of abstraction of hybrid systems that are commonly used for safety analysis. Reachability approaches related to abstraction for verification are briefly presented." @default.
- W115896635 created "2016-06-24" @default.
- W115896635 creator A5035707916 @default.
- W115896635 creator A5085823749 @default.
- W115896635 date "2011-01-01" @default.
- W115896635 modified "2023-10-16" @default.
- W115896635 title "Abstractions of Hybrid Systems for Verification" @default.
- W115896635 cites W1255213109 @default.
- W115896635 cites W1487657751 @default.
- W115896635 cites W1488872683 @default.
- W115896635 cites W1510285870 @default.
- W115896635 cites W1522694098 @default.
- W115896635 cites W1530240157 @default.
- W115896635 cites W1552875110 @default.
- W115896635 cites W1568518466 @default.
- W115896635 cites W1569146343 @default.
- W115896635 cites W1569692898 @default.
- W115896635 cites W1585089195 @default.
- W115896635 cites W1726255445 @default.
- W115896635 cites W1854239758 @default.
- W115896635 cites W191550043 @default.
- W115896635 cites W1955710548 @default.
- W115896635 cites W2004463571 @default.
- W115896635 cites W2012580470 @default.
- W115896635 cites W2014066180 @default.
- W115896635 cites W2033118636 @default.
- W115896635 cites W2064562598 @default.
- W115896635 cites W2102777317 @default.
- W115896635 cites W2105826449 @default.
- W115896635 cites W2110810430 @default.
- W115896635 cites W2117218135 @default.
- W115896635 cites W2126749600 @default.
- W115896635 cites W2131441094 @default.
- W115896635 cites W2157834152 @default.
- W115896635 cites W2172357028 @default.
- W115896635 cites W4236306094 @default.
- W115896635 doi "https://doi.org/10.1007/978-3-642-19730-7_2" @default.
- W115896635 hasPublicationYear "2011" @default.
- W115896635 type Work @default.
- W115896635 sameAs 115896635 @default.
- W115896635 citedByCount "0" @default.
- W115896635 crossrefType "book-chapter" @default.
- W115896635 hasAuthorship W115896635A5035707916 @default.
- W115896635 hasAuthorship W115896635A5085823749 @default.
- W115896635 hasConcept C110251889 @default.
- W115896635 hasConcept C111472728 @default.
- W115896635 hasConcept C111498074 @default.
- W115896635 hasConcept C115903868 @default.
- W115896635 hasConcept C119857082 @default.
- W115896635 hasConcept C124304363 @default.
- W115896635 hasConcept C136643341 @default.
- W115896635 hasConcept C138885662 @default.
- W115896635 hasConcept C199360897 @default.
- W115896635 hasConcept C41008148 @default.
- W115896635 hasConcept C50897621 @default.
- W115896635 hasConcept C80444323 @default.
- W115896635 hasConceptScore W115896635C110251889 @default.
- W115896635 hasConceptScore W115896635C111472728 @default.
- W115896635 hasConceptScore W115896635C111498074 @default.
- W115896635 hasConceptScore W115896635C115903868 @default.
- W115896635 hasConceptScore W115896635C119857082 @default.
- W115896635 hasConceptScore W115896635C124304363 @default.
- W115896635 hasConceptScore W115896635C136643341 @default.
- W115896635 hasConceptScore W115896635C138885662 @default.
- W115896635 hasConceptScore W115896635C199360897 @default.
- W115896635 hasConceptScore W115896635C41008148 @default.
- W115896635 hasConceptScore W115896635C50897621 @default.
- W115896635 hasConceptScore W115896635C80444323 @default.
- W115896635 hasLocation W1158966351 @default.
- W115896635 hasOpenAccess W115896635 @default.
- W115896635 hasPrimaryLocation W1158966351 @default.
- W115896635 hasRelatedWork W1999190993 @default.
- W115896635 hasRelatedWork W2057339615 @default.
- W115896635 hasRelatedWork W2088977779 @default.
- W115896635 hasRelatedWork W2091305399 @default.
- W115896635 hasRelatedWork W2964763668 @default.
- W115896635 hasRelatedWork W3080958406 @default.
- W115896635 hasRelatedWork W3206124440 @default.
- W115896635 hasRelatedWork W2443616640 @default.
- W115896635 isParatext "false" @default.
- W115896635 isRetracted "false" @default.
- W115896635 magId "115896635" @default.
- W115896635 workType "book-chapter" @default.