Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131154338> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2131154338 abstract "While formal verification has been successfully used to analyze several academic examples of controlled hybrid systems, the application to real-world processing systems is largely restricted by the complexity of modeling and computation. This paper aims at improving the applicability by using decomposition and deduction techniques: A given system is first decomposed into a set of physical and/or functional units and modeled by communicating timed automata or linear hybrid automata. The so-called assumption/commitment method allows one to formulate requirements for the desired behavior of single modules or groups of modules. Model-checking is an appropriate technique to analyze whether the requirements (e.g. the exclusion of critical states) are fulfilled. By combining the analysis results obtained for single modules, properties of composed modules can be deduced. As illustrated for a laboratory plant, properties of the complete system for which direct model-checking is prohibitively expensive can be inferred by the iterative application of analysis and deduction." @default.
- W2131154338 created "2016-06-24" @default.
- W2131154338 creator A5019653057 @default.
- W2131154338 creator A5033400754 @default.
- W2131154338 creator A5039488370 @default.
- W2131154338 creator A5040756775 @default.
- W2131154338 creator A5078904111 @default.
- W2131154338 date "2002-11-13" @default.
- W2131154338 modified "2023-09-26" @default.
- W2131154338 title "Verification of hybrid controlled processing systems based on decomposition and deduction" @default.
- W2131154338 cites W1485489137 @default.
- W2131154338 cites W1488659932 @default.
- W2131154338 cites W1498285565 @default.
- W2131154338 cites W1523988803 @default.
- W2131154338 cites W1530293762 @default.
- W2131154338 cites W1534714322 @default.
- W2131154338 cites W1553814243 @default.
- W2131154338 cites W1590315663 @default.
- W2131154338 cites W1593428110 @default.
- W2131154338 cites W1845519667 @default.
- W2131154338 cites W2004463571 @default.
- W2131154338 cites W2021800367 @default.
- W2131154338 cites W2022932655 @default.
- W2131154338 cites W2031853804 @default.
- W2131154338 cites W2038952689 @default.
- W2131154338 cites W2060095702 @default.
- W2131154338 cites W2081032658 @default.
- W2131154338 cites W2122286070 @default.
- W2131154338 cites W2133978468 @default.
- W2131154338 cites W2142590165 @default.
- W2131154338 cites W2296232480 @default.
- W2131154338 doi "https://doi.org/10.1109/isic.2001.971500" @default.
- W2131154338 hasPublicationYear "2002" @default.
- W2131154338 type Work @default.
- W2131154338 sameAs 2131154338 @default.
- W2131154338 citedByCount "2" @default.
- W2131154338 crossrefType "proceedings-article" @default.
- W2131154338 hasAuthorship W2131154338A5019653057 @default.
- W2131154338 hasAuthorship W2131154338A5033400754 @default.
- W2131154338 hasAuthorship W2131154338A5039488370 @default.
- W2131154338 hasAuthorship W2131154338A5040756775 @default.
- W2131154338 hasAuthorship W2131154338A5078904111 @default.
- W2131154338 hasConcept C110251889 @default.
- W2131154338 hasConcept C111498074 @default.
- W2131154338 hasConcept C112505250 @default.
- W2131154338 hasConcept C11413529 @default.
- W2131154338 hasConcept C119857082 @default.
- W2131154338 hasConcept C124681953 @default.
- W2131154338 hasConcept C177264268 @default.
- W2131154338 hasConcept C18903297 @default.
- W2131154338 hasConcept C199360897 @default.
- W2131154338 hasConcept C41008148 @default.
- W2131154338 hasConcept C45374587 @default.
- W2131154338 hasConcept C50897621 @default.
- W2131154338 hasConcept C80444323 @default.
- W2131154338 hasConcept C86803240 @default.
- W2131154338 hasConceptScore W2131154338C110251889 @default.
- W2131154338 hasConceptScore W2131154338C111498074 @default.
- W2131154338 hasConceptScore W2131154338C112505250 @default.
- W2131154338 hasConceptScore W2131154338C11413529 @default.
- W2131154338 hasConceptScore W2131154338C119857082 @default.
- W2131154338 hasConceptScore W2131154338C124681953 @default.
- W2131154338 hasConceptScore W2131154338C177264268 @default.
- W2131154338 hasConceptScore W2131154338C18903297 @default.
- W2131154338 hasConceptScore W2131154338C199360897 @default.
- W2131154338 hasConceptScore W2131154338C41008148 @default.
- W2131154338 hasConceptScore W2131154338C45374587 @default.
- W2131154338 hasConceptScore W2131154338C50897621 @default.
- W2131154338 hasConceptScore W2131154338C80444323 @default.
- W2131154338 hasConceptScore W2131154338C86803240 @default.
- W2131154338 hasLocation W21311543381 @default.
- W2131154338 hasOpenAccess W2131154338 @default.
- W2131154338 hasPrimaryLocation W21311543381 @default.
- W2131154338 hasRelatedWork W1564714528 @default.
- W2131154338 hasRelatedWork W1603043372 @default.
- W2131154338 hasRelatedWork W1933500550 @default.
- W2131154338 hasRelatedWork W1994917823 @default.
- W2131154338 hasRelatedWork W1998778815 @default.
- W2131154338 hasRelatedWork W2005146358 @default.
- W2131154338 hasRelatedWork W2020061635 @default.
- W2131154338 hasRelatedWork W2050625831 @default.
- W2131154338 hasRelatedWork W2060095702 @default.
- W2131154338 hasRelatedWork W2112417426 @default.
- W2131154338 hasRelatedWork W2124219878 @default.
- W2131154338 hasRelatedWork W2165104948 @default.
- W2131154338 hasRelatedWork W2351081152 @default.
- W2131154338 hasRelatedWork W2408605858 @default.
- W2131154338 hasRelatedWork W3012143978 @default.
- W2131154338 hasRelatedWork W3023989911 @default.
- W2131154338 hasRelatedWork W3090518699 @default.
- W2131154338 hasRelatedWork W3107271948 @default.
- W2131154338 hasRelatedWork W587198854 @default.
- W2131154338 hasRelatedWork W2403777862 @default.
- W2131154338 isParatext "false" @default.
- W2131154338 isRetracted "false" @default.
- W2131154338 magId "2131154338" @default.
- W2131154338 workType "article" @default.