FRINK Linked Data Fragments server

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

• W2893139455 abstract "Linear Hybrid Automata (LHA) is a natural modeling language for real-time embedded systems. However, due to the existences of both discrete and continuous behaviors, formal analysis of LHA is recognized as a very challenging task. Despite decades of active research, the kinds of LHA problems that can be efficiently analyzed is rather limited. On the other hand, Labelled Linear Transition System (LTS) is a widely used modeling language to describe the state changes of the system before and after certain transitions. Lots of research efforts have been devoted into the verification of LTS models. Many off-the-shelf formal techniques and tools are available for analyzing different kinds of problems for LTS systems. In this paper, we propose to express an LHA as an equivalent LTS model explicitly. Then, we can take advantage of all the off-the-shelf formal checkers of LTS to answer different problems of the LHA model. A prototype tool HAT is implemented under this idea. By integrating typical LTS checkers like ARMC and Interproc, we conduct considerably difficult checking problems like reachability verification, termination analysis, and invariant generation of LHA successfully and efficiently. It shows the open possibility of analyzing more kinds of difficult problems of LHA by LTS checkers easily in the future." @default.
• W2893139455 created "2018-10-05" @default.
• W2893139455 creator A5019736036 @default.
• W2893139455 creator A5027467673 @default.
• W2893139455 creator A5029676029 @default.
• W2893139455 creator A5062035232 @default.
• W2893139455 creator A5090810072 @default.
• W2893139455 date "2018-01-01" @default.
• W2893139455 modified "2023-09-28" @default.
• W2893139455 title "HAT: Analyzing Linear Hybrid Automata as Labelled Transition System" @default.
• W2893139455 cites W1518247129 @default.
• W2893139455 cites W1522694098 @default.
• W2893139455 cites W1530375435 @default.
• W2893139455 cites W1531018690 @default.
• W2893139455 cites W1552875110 @default.
• W2893139455 cites W1559151285 @default.
• W2893139455 cites W1583869287 @default.
• W2893139455 cites W1600235415 @default.
• W2893139455 cites W1708780353 @default.
• W2893139455 cites W1793594870 @default.
• W2893139455 cites W1844911504 @default.
• W2893139455 cites W1925669739 @default.
• W2893139455 cites W2004463571 @default.
• W2893139455 cites W2022228153 @default.
• W2893139455 cites W2025886420 @default.
• W2893139455 cites W2043100293 @default.
• W2893139455 cites W2072325940 @default.
• W2893139455 cites W2086163366 @default.
• W2893139455 cites W2087749124 @default.
• W2893139455 cites W2094530979 @default.
• W2893139455 cites W2104258017 @default.
• W2893139455 cites W2112350720 @default.
• W2893139455 cites W2147340401 @default.
• W2893139455 cites W2479757541 @default.
• W2893139455 cites W2484078761 @default.
• W2893139455 cites W3021664313 @default.
• W2893139455 doi "https://doi.org/10.1007/978-3-030-01461-2_5" @default.
• W2893139455 hasPublicationYear "2018" @default.
• W2893139455 type Work @default.
• W2893139455 sameAs 2893139455 @default.
• W2893139455 citedByCount "0" @default.
• W2893139455 crossrefType "book-chapter" @default.
• W2893139455 hasAuthorship W2893139455A5019736036 @default.
• W2893139455 hasAuthorship W2893139455A5027467673 @default.
• W2893139455 hasAuthorship W2893139455A5029676029 @default.
• W2893139455 hasAuthorship W2893139455A5062035232 @default.
• W2893139455 hasAuthorship W2893139455A5090810072 @default.
• W2893139455 hasConcept C110251889 @default.
• W2893139455 hasConcept C111498074 @default.
• W2893139455 hasConcept C112505250 @default.
• W2893139455 hasConcept C119857082 @default.
• W2893139455 hasConcept C121332964 @default.
• W2893139455 hasConcept C136643341 @default.
• W2893139455 hasConcept C154945302 @default.
• W2893139455 hasConcept C190470478 @default.
• W2893139455 hasConcept C199360897 @default.
• W2893139455 hasConcept C2776028153 @default.
• W2893139455 hasConcept C2779167558 @default.
• W2893139455 hasConcept C37914503 @default.
• W2893139455 hasConcept C41008148 @default.
• W2893139455 hasConcept C50897621 @default.
• W2893139455 hasConcept C75606506 @default.
• W2893139455 hasConcept C80444323 @default.
• W2893139455 hasConceptScore W2893139455C110251889 @default.
• W2893139455 hasConceptScore W2893139455C111498074 @default.
• W2893139455 hasConceptScore W2893139455C112505250 @default.
• W2893139455 hasConceptScore W2893139455C119857082 @default.
• W2893139455 hasConceptScore W2893139455C121332964 @default.
• W2893139455 hasConceptScore W2893139455C136643341 @default.
• W2893139455 hasConceptScore W2893139455C154945302 @default.
• W2893139455 hasConceptScore W2893139455C190470478 @default.
• W2893139455 hasConceptScore W2893139455C199360897 @default.
• W2893139455 hasConceptScore W2893139455C2776028153 @default.
• W2893139455 hasConceptScore W2893139455C2779167558 @default.
• W2893139455 hasConceptScore W2893139455C37914503 @default.
• W2893139455 hasConceptScore W2893139455C41008148 @default.
• W2893139455 hasConceptScore W2893139455C50897621 @default.
• W2893139455 hasConceptScore W2893139455C75606506 @default.
• W2893139455 hasConceptScore W2893139455C80444323 @default.
• W2893139455 hasLocation W28931394551 @default.
• W2893139455 hasOpenAccess W2893139455 @default.
• W2893139455 hasPrimaryLocation W28931394551 @default.
• W2893139455 hasRelatedWork W1596236294 @default.
• W2893139455 hasRelatedWork W1601320636 @default.
• W2893139455 hasRelatedWork W186611154 @default.
• W2893139455 hasRelatedWork W1909848294 @default.
• W2893139455 hasRelatedWork W1964089329 @default.
• W2893139455 hasRelatedWork W1965965053 @default.
• W2893139455 hasRelatedWork W1967091946 @default.
• W2893139455 hasRelatedWork W1990350596 @default.
• W2893139455 hasRelatedWork W2115802893 @default.
• W2893139455 hasRelatedWork W2126102312 @default.
• W2893139455 hasRelatedWork W2167722250 @default.
• W2893139455 hasRelatedWork W2286265505 @default.
• W2893139455 hasRelatedWork W2548863071 @default.
• W2893139455 hasRelatedWork W2562670940 @default.
• W2893139455 hasRelatedWork W2598833566 @default.
• W2893139455 hasRelatedWork W2750367645 @default.
• W2893139455 hasRelatedWork W2809980883 @default.
• W2893139455 hasRelatedWork W2911583164 @default.

• next