FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104433288> ?p ?o ?g. }

• W2104433288 endingPage "1424" @default.
• W2104433288 startingPage "1394" @default.
• W2104433288 abstract "Hybrid systems are dynamical systems with the ability to describe mixed discrete-continuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appear powerful but recalcitrant, neither yielding to analysis and reasoning through a purely continuous-time modeling as with systems of differential equations, nor open to inferential processes commonly used for discrete state-transition systems such as finite state automata. A convenient and popular model, called hybrid automata, was introduced to model them and has spurred much interest on its tractability as a tool for inference and model checking in a general setting. Intuitively, a hybrid automaton is simply a “finite-state” automaton with each state augmented by continuous variables, which evolve according to a set of well-defined continuous laws, each specified separately for each state. This article investigates both the notion of hybrid automaton and the model checking problem over such a structure. In particular, it relates first-order theories and analysis results on multivalued maps and reduces the bounded reachability problem for hybrid automata whose continuous laws are expressed by inclusions ( x ′ ∈ f ( x , t ) ) to a decidability problem for first-order formulæ over the reals. Furthermore, the paper introduces a class of hybrid automata for which the reachability problem can be decided and shows that the problem of deciding whether a hybrid automaton belongs to this class can be again decided using first-order formulæ over the reals. Despite the fact that the bisimulation quotient for this class of hybrid automata can be infinite, we show that our techniques permit effective model checking for a nontrivial fragment of CTL." @default.
• W2104433288 created "2016-06-24" @default.
• W2104433288 creator A5027009916 @default.
• W2104433288 creator A5042115100 @default.
• W2104433288 creator A5052391923 @default.
• W2104433288 creator A5053379558 @default.
• W2104433288 date "2008-12-01" @default.
• W2104433288 modified "2023-10-06" @default.
• W2104433288 title "Inclusion dynamics hybrid automata" @default.
• W2104433288 cites W1525512650 @default.
• W2104433288 cites W1574289075 @default.
• W2104433288 cites W1617538704 @default.
• W2104433288 cites W1791240938 @default.
• W2104433288 cites W1822440022 @default.
• W2104433288 cites W1868193499 @default.
• W2104433288 cites W1877899879 @default.
• W2104433288 cites W1971666500 @default.
• W2104433288 cites W1981808971 @default.
• W2104433288 cites W1991813962 @default.
• W2104433288 cites W1994475353 @default.
• W2104433288 cites W1995691455 @default.
• W2104433288 cites W1995742741 @default.
• W2104433288 cites W1996195522 @default.
• W2104433288 cites W2001255903 @default.
• W2104433288 cites W2004463571 @default.
• W2104433288 cites W2012189264 @default.
• W2104433288 cites W2022348461 @default.
• W2104433288 cites W2024271250 @default.
• W2104433288 cites W2044747399 @default.
• W2104433288 cites W2055960145 @default.
• W2104433288 cites W2067529231 @default.
• W2104433288 cites W2067754486 @default.
• W2104433288 cites W2073539595 @default.
• W2104433288 cites W2083227084 @default.
• W2104433288 cites W2087566144 @default.
• W2104433288 cites W2092597665 @default.
• W2104433288 cites W2097794976 @default.
• W2104433288 cites W2101508170 @default.
• W2104433288 cites W2102074804 @default.
• W2104433288 cites W2144456661 @default.
• W2104433288 cites W2151549243 @default.
• W2104433288 cites W2151617351 @default.
• W2104433288 cites W2162052349 @default.
• W2104433288 cites W2163590987 @default.
• W2104433288 cites W2163659692 @default.
• W2104433288 cites W2314912482 @default.
• W2104433288 cites W2322654430 @default.
• W2104433288 cites W4229917934 @default.
• W2104433288 cites W4243150123 @default.
• W2104433288 doi "https://doi.org/10.1016/j.ic.2008.09.001" @default.
• W2104433288 hasPublicationYear "2008" @default.
• W2104433288 type Work @default.
• W2104433288 sameAs 2104433288 @default.
• W2104433288 citedByCount "14" @default.
• W2104433288 countsByYear W21044332882012 @default.
• W2104433288 countsByYear W21044332882013 @default.
• W2104433288 countsByYear W21044332882014 @default.
• W2104433288 countsByYear W21044332882015 @default.
• W2104433288 countsByYear W21044332882022 @default.
• W2104433288 crossrefType "journal-article" @default.
• W2104433288 hasAuthorship W2104433288A5027009916 @default.
• W2104433288 hasAuthorship W2104433288A5042115100 @default.
• W2104433288 hasAuthorship W2104433288A5052391923 @default.
• W2104433288 hasAuthorship W2104433288A5053379558 @default.
• W2104433288 hasBestOaLocation W21044332881 @default.
• W2104433288 hasConcept C107993555 @default.
• W2104433288 hasConcept C109359841 @default.
• W2104433288 hasConcept C112505250 @default.
• W2104433288 hasConcept C144024400 @default.
• W2104433288 hasConcept C145912823 @default.
• W2104433288 hasConcept C19417346 @default.
• W2104433288 hasConcept C41008148 @default.
• W2104433288 hasConcept C80444323 @default.
• W2104433288 hasConceptScore W2104433288C107993555 @default.
• W2104433288 hasConceptScore W2104433288C109359841 @default.
• W2104433288 hasConceptScore W2104433288C112505250 @default.
• W2104433288 hasConceptScore W2104433288C144024400 @default.
• W2104433288 hasConceptScore W2104433288C145912823 @default.
• W2104433288 hasConceptScore W2104433288C19417346 @default.
• W2104433288 hasConceptScore W2104433288C41008148 @default.
• W2104433288 hasConceptScore W2104433288C80444323 @default.
• W2104433288 hasIssue "12" @default.
• W2104433288 hasLocation W21044332881 @default.
• W2104433288 hasLocation W21044332882 @default.
• W2104433288 hasLocation W21044332883 @default.
• W2104433288 hasOpenAccess W2104433288 @default.
• W2104433288 hasPrimaryLocation W21044332881 @default.
• W2104433288 hasRelatedWork W1490551994 @default.
• W2104433288 hasRelatedWork W153904579 @default.
• W2104433288 hasRelatedWork W2046406805 @default.
• W2104433288 hasRelatedWork W2130592592 @default.
• W2104433288 hasRelatedWork W2325436751 @default.
• W2104433288 hasRelatedWork W2368796975 @default.
• W2104433288 hasRelatedWork W2627078727 @default.
• W2104433288 hasRelatedWork W2740942814 @default.
• W2104433288 hasRelatedWork W2602338684 @default.
• W2104433288 hasRelatedWork W2751931981 @default.
• W2104433288 hasVolume "206" @default.

• next