Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912137848> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2912137848 abstract "Action Systems is a predicate transformer based formalism for the development of reactive and distributed systems by refinement. Lately, Action Systems was extended with a differential action that models continuous behaviour. Such action systems capture hybrid systems, where a discrete controller interacts with some continuously evolving environment. Recently, we investigated a class of Action Systems called Linear Hybrid Action Systems that capture linear hybrid systems. These action systems can formally be translated to linear hybrid automata, for which there exists tools for automated analysis, e.g., HyTech. However, since Linear Hybrid Action Systems is a strict subclass of linear hybrid automata, the translation necessarily introduces more complexity to the model making the analysis harder. Therefore, the contribution of this paper is to propose two efficient complementary semi-decision algorithms for the analysis of Linear Hybrid Action Systems, an invariant verification algorithm of linear complexity and a reachability algorithm of squared complexity." @default.
- W2912137848 created "2019-02-21" @default.
- W2912137848 creator A5038945516 @default.
- W2912137848 creator A5090810072 @default.
- W2912137848 date "1999-08-09" @default.
- W2912137848 modified "2023-09-27" @default.
- W2912137848 title "Verification of Linear Hybrid Action Systems" @default.
- W2912137848 hasPublicationYear "1999" @default.
- W2912137848 type Work @default.
- W2912137848 sameAs 2912137848 @default.
- W2912137848 citedByCount "0" @default.
- W2912137848 crossrefType "journal-article" @default.
- W2912137848 hasAuthorship W2912137848A5038945516 @default.
- W2912137848 hasAuthorship W2912137848A5090810072 @default.
- W2912137848 hasConcept C112505250 @default.
- W2912137848 hasConcept C11413529 @default.
- W2912137848 hasConcept C119857082 @default.
- W2912137848 hasConcept C134306372 @default.
- W2912137848 hasConcept C136643341 @default.
- W2912137848 hasConcept C33923547 @default.
- W2912137848 hasConcept C41008148 @default.
- W2912137848 hasConcept C50897621 @default.
- W2912137848 hasConcept C6802819 @default.
- W2912137848 hasConcept C80444323 @default.
- W2912137848 hasConceptScore W2912137848C112505250 @default.
- W2912137848 hasConceptScore W2912137848C11413529 @default.
- W2912137848 hasConceptScore W2912137848C119857082 @default.
- W2912137848 hasConceptScore W2912137848C134306372 @default.
- W2912137848 hasConceptScore W2912137848C136643341 @default.
- W2912137848 hasConceptScore W2912137848C33923547 @default.
- W2912137848 hasConceptScore W2912137848C41008148 @default.
- W2912137848 hasConceptScore W2912137848C50897621 @default.
- W2912137848 hasConceptScore W2912137848C6802819 @default.
- W2912137848 hasConceptScore W2912137848C80444323 @default.
- W2912137848 hasLocation W29121378481 @default.
- W2912137848 hasOpenAccess W2912137848 @default.
- W2912137848 hasPrimaryLocation W29121378481 @default.
- W2912137848 hasRelatedWork W1513964429 @default.
- W2912137848 hasRelatedWork W1543426010 @default.
- W2912137848 hasRelatedWork W1568496860 @default.
- W2912137848 hasRelatedWork W1569713214 @default.
- W2912137848 hasRelatedWork W1591139372 @default.
- W2912137848 hasRelatedWork W160316085 @default.
- W2912137848 hasRelatedWork W1606563312 @default.
- W2912137848 hasRelatedWork W1861897023 @default.
- W2912137848 hasRelatedWork W199864007 @default.
- W2912137848 hasRelatedWork W2012681899 @default.
- W2912137848 hasRelatedWork W2016235928 @default.
- W2912137848 hasRelatedWork W2042027173 @default.
- W2912137848 hasRelatedWork W2072328544 @default.
- W2912137848 hasRelatedWork W2119907432 @default.
- W2912137848 hasRelatedWork W2135888626 @default.
- W2912137848 hasRelatedWork W2318969820 @default.
- W2912137848 hasRelatedWork W2948822015 @default.
- W2912137848 hasRelatedWork W3046249273 @default.
- W2912137848 hasRelatedWork W63768794 @default.
- W2912137848 hasRelatedWork W71055736 @default.
- W2912137848 isParatext "false" @default.
- W2912137848 isRetracted "false" @default.
- W2912137848 magId "2912137848" @default.
- W2912137848 workType "article" @default.