FRINK Linked Data Fragments server

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

• W36505560 abstract "Abstract The task of verifying the correct (with respect to a given specification) behaviour of discrete event controllers for continuous processes requires to combine model types of continuous and of discrete nature. In this contribution, the verification problem is treated by approximating the continuous dynamics using automata models, and by carrying out a reachability analysis in the discrete domain. The focus is on different methods to generate timed automata and hybrid automata from switched continuous systems. Furthermore, some model properties and their effects on the analysis results are discussed." @default.
• W36505560 created "2016-06-24" @default.
• W36505560 creator A5019982470 @default.
• W36505560 creator A5033400754 @default.
• W36505560 creator A5040756775 @default.
• W36505560 date "1999-07-01" @default.
• W36505560 modified "2023-09-25" @default.
• W36505560 title "Timed approximations of hybrid processes for controller verification" @default.
• W36505560 cites W1498285565 @default.
• W36505560 cites W1524165851 @default.
• W36505560 cites W1547728445 @default.
• W36505560 cites W1573598114 @default.
• W36505560 cites W1578245743 @default.
• W36505560 cites W2004463571 @default.
• W36505560 cites W2058188212 @default.
• W36505560 cites W2101508170 @default.
• W36505560 cites W2149334559 @default.
• W36505560 cites W2414119487 @default.
• W36505560 cites W2580122155 @default.
• W36505560 doi "https://doi.org/10.1016/s1474-6670(17)56815-9" @default.
• W36505560 hasPublicationYear "1999" @default.
• W36505560 type Work @default.
• W36505560 sameAs 36505560 @default.
• W36505560 citedByCount "1" @default.
• W36505560 crossrefType "journal-article" @default.
• W36505560 hasAuthorship W36505560A5019982470 @default.
• W36505560 hasAuthorship W36505560A5033400754 @default.
• W36505560 hasAuthorship W36505560A5040756775 @default.
• W36505560 hasConcept C10184394 @default.
• W36505560 hasConcept C112505250 @default.
• W36505560 hasConcept C11413529 @default.
• W36505560 hasConcept C119857082 @default.
• W36505560 hasConcept C120665830 @default.
• W36505560 hasConcept C121332964 @default.
• W36505560 hasConcept C134306372 @default.
• W36505560 hasConcept C136643341 @default.
• W36505560 hasConcept C154945302 @default.
• W36505560 hasConcept C192209626 @default.
• W36505560 hasConcept C203479927 @default.
• W36505560 hasConcept C2775924081 @default.
• W36505560 hasConcept C2776028153 @default.
• W36505560 hasConcept C30788636 @default.
• W36505560 hasConcept C32866371 @default.
• W36505560 hasConcept C33923547 @default.
• W36505560 hasConcept C36503486 @default.
• W36505560 hasConcept C41008148 @default.
• W36505560 hasConcept C47446073 @default.
• W36505560 hasConcept C50897621 @default.
• W36505560 hasConcept C6557445 @default.
• W36505560 hasConcept C80444323 @default.
• W36505560 hasConcept C86803240 @default.
• W36505560 hasConcept C96314035 @default.
• W36505560 hasConceptScore W36505560C10184394 @default.
• W36505560 hasConceptScore W36505560C112505250 @default.
• W36505560 hasConceptScore W36505560C11413529 @default.
• W36505560 hasConceptScore W36505560C119857082 @default.
• W36505560 hasConceptScore W36505560C120665830 @default.
• W36505560 hasConceptScore W36505560C121332964 @default.
• W36505560 hasConceptScore W36505560C134306372 @default.
• W36505560 hasConceptScore W36505560C136643341 @default.
• W36505560 hasConceptScore W36505560C154945302 @default.
• W36505560 hasConceptScore W36505560C192209626 @default.
• W36505560 hasConceptScore W36505560C203479927 @default.
• W36505560 hasConceptScore W36505560C2775924081 @default.
• W36505560 hasConceptScore W36505560C2776028153 @default.
• W36505560 hasConceptScore W36505560C30788636 @default.
• W36505560 hasConceptScore W36505560C32866371 @default.
• W36505560 hasConceptScore W36505560C33923547 @default.
• W36505560 hasConceptScore W36505560C36503486 @default.
• W36505560 hasConceptScore W36505560C41008148 @default.
• W36505560 hasConceptScore W36505560C47446073 @default.
• W36505560 hasConceptScore W36505560C50897621 @default.
• W36505560 hasConceptScore W36505560C6557445 @default.
• W36505560 hasConceptScore W36505560C80444323 @default.
• W36505560 hasConceptScore W36505560C86803240 @default.
• W36505560 hasConceptScore W36505560C96314035 @default.
• W36505560 hasLocation W365055601 @default.
• W36505560 hasOpenAccess W36505560 @default.
• W36505560 hasPrimaryLocation W365055601 @default.
• W36505560 hasRelatedWork W129752279 @default.
• W36505560 hasRelatedWork W1513862247 @default.
• W36505560 hasRelatedWork W1520155113 @default.
• W36505560 hasRelatedWork W1533089139 @default.
• W36505560 hasRelatedWork W1568502976 @default.
• W36505560 hasRelatedWork W1569713214 @default.
• W36505560 hasRelatedWork W199864007 @default.
• W36505560 hasRelatedWork W2072328544 @default.
• W36505560 hasRelatedWork W2112280527 @default.
• W36505560 hasRelatedWork W2118424907 @default.
• W36505560 hasRelatedWork W2133514269 @default.
• W36505560 hasRelatedWork W2135888626 @default.
• W36505560 hasRelatedWork W2152358711 @default.
• W36505560 hasRelatedWork W2213331729 @default.
• W36505560 hasRelatedWork W2257944674 @default.
• W36505560 hasRelatedWork W2416235366 @default.
• W36505560 hasRelatedWork W2901680979 @default.
• W36505560 hasRelatedWork W311069656 @default.
• W36505560 hasRelatedWork W71055736 @default.
• W36505560 hasRelatedWork W747567354 @default.
• W36505560 isParatext "false" @default.

• next