Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115802893> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2115802893 endingPage "84" @default.
- W2115802893 startingPage "73" @default.
- W2115802893 abstract "The model-checking problem for hybrid systems is a well known challenge in the scientific community. Most of the existing approaches and tools are limited to safety properties only, or operates by transforming the hybrid system to be verified into a discrete one, thus loosing information on the continuous dynamics of the system. In this paper we present a logic for specifying complex properties of hybrid systems called HyLTL, and we show how it is possible to solve the model checking problem by translating the formula into an equivalent hybrid automaton. In this way the problem is reduced to a reachability problem on hybrid automata that can be solved by using existing tools." @default.
- W2115802893 created "2016-06-24" @default.
- W2115802893 creator A5087985917 @default.
- W2115802893 date "2013-08-22" @default.
- W2115802893 modified "2023-09-30" @default.
- W2115802893 title "HyLTL: a temporal logic for model checking hybrid systems" @default.
- W2115802893 cites W1535116423 @default.
- W2115802893 cites W1547304883 @default.
- W2115802893 cites W1582882984 @default.
- W2115802893 cites W1594976552 @default.
- W2115802893 cites W1772923315 @default.
- W2115802893 cites W1823037702 @default.
- W2115802893 cites W1999629321 @default.
- W2115802893 cites W2000947342 @default.
- W2115802893 cites W2004463571 @default.
- W2115802893 cites W2023499821 @default.
- W2115802893 cites W2085838366 @default.
- W2115802893 cites W2101508170 @default.
- W2115802893 cites W2152533774 @default.
- W2115802893 cites W2176215692 @default.
- W2115802893 cites W3022429701 @default.
- W2115802893 cites W3189981105 @default.
- W2115802893 doi "https://doi.org/10.4204/eptcs.124.8" @default.
- W2115802893 hasPublicationYear "2013" @default.
- W2115802893 type Work @default.
- W2115802893 sameAs 2115802893 @default.
- W2115802893 citedByCount "11" @default.
- W2115802893 countsByYear W21158028932014 @default.
- W2115802893 countsByYear W21158028932015 @default.
- W2115802893 countsByYear W21158028932016 @default.
- W2115802893 countsByYear W21158028932017 @default.
- W2115802893 countsByYear W21158028932018 @default.
- W2115802893 countsByYear W21158028932020 @default.
- W2115802893 countsByYear W21158028932021 @default.
- W2115802893 countsByYear W21158028932022 @default.
- W2115802893 crossrefType "journal-article" @default.
- W2115802893 hasAuthorship W2115802893A5087985917 @default.
- W2115802893 hasBestOaLocation W21158028931 @default.
- W2115802893 hasConcept C110251889 @default.
- W2115802893 hasConcept C112505250 @default.
- W2115802893 hasConcept C119857082 @default.
- W2115802893 hasConcept C136643341 @default.
- W2115802893 hasConcept C25016198 @default.
- W2115802893 hasConcept C2776028153 @default.
- W2115802893 hasConcept C2777669093 @default.
- W2115802893 hasConcept C41008148 @default.
- W2115802893 hasConcept C4777664 @default.
- W2115802893 hasConcept C50897621 @default.
- W2115802893 hasConcept C80444323 @default.
- W2115802893 hasConceptScore W2115802893C110251889 @default.
- W2115802893 hasConceptScore W2115802893C112505250 @default.
- W2115802893 hasConceptScore W2115802893C119857082 @default.
- W2115802893 hasConceptScore W2115802893C136643341 @default.
- W2115802893 hasConceptScore W2115802893C25016198 @default.
- W2115802893 hasConceptScore W2115802893C2776028153 @default.
- W2115802893 hasConceptScore W2115802893C2777669093 @default.
- W2115802893 hasConceptScore W2115802893C41008148 @default.
- W2115802893 hasConceptScore W2115802893C4777664 @default.
- W2115802893 hasConceptScore W2115802893C50897621 @default.
- W2115802893 hasConceptScore W2115802893C80444323 @default.
- W2115802893 hasLocation W21158028931 @default.
- W2115802893 hasLocation W21158028932 @default.
- W2115802893 hasLocation W21158028933 @default.
- W2115802893 hasOpenAccess W2115802893 @default.
- W2115802893 hasPrimaryLocation W21158028931 @default.
- W2115802893 hasRelatedWork W1603369550 @default.
- W2115802893 hasRelatedWork W1814968121 @default.
- W2115802893 hasRelatedWork W1990350596 @default.
- W2115802893 hasRelatedWork W2034963384 @default.
- W2115802893 hasRelatedWork W2053807562 @default.
- W2115802893 hasRelatedWork W2115802893 @default.
- W2115802893 hasRelatedWork W2165214723 @default.
- W2115802893 hasRelatedWork W2321700044 @default.
- W2115802893 hasRelatedWork W2795943051 @default.
- W2115802893 hasRelatedWork W2803699674 @default.
- W2115802893 hasVolume "124" @default.
- W2115802893 isParatext "false" @default.
- W2115802893 isRetracted "false" @default.
- W2115802893 magId "2115802893" @default.
- W2115802893 workType "article" @default.