Matches in SemOpenAlex for { <https://semopenalex.org/work/W1844232432> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1844232432 endingPage "171" @default.
- W1844232432 startingPage "153" @default.
- W1844232432 abstract "Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata TPA for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: i compositional modeling with reusable designs for different contexts, and ii an automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of TPA by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed." @default.
- W1844232432 created "2016-06-24" @default.
- W1844232432 creator A5027605103 @default.
- W1844232432 creator A5056755949 @default.
- W1844232432 creator A5072274322 @default.
- W1844232432 creator A5075103075 @default.
- W1844232432 date "2015-01-01" @default.
- W1844232432 modified "2023-09-25" @default.
- W1844232432 title "A Model for Industrial Real-Time Systems" @default.
- W1844232432 cites W1492412487 @default.
- W1844232432 cites W1516727468 @default.
- W1844232432 cites W1573865009 @default.
- W1844232432 cites W1574195826 @default.
- W1844232432 cites W1599995366 @default.
- W1844232432 cites W1778175466 @default.
- W1844232432 cites W1844232432 @default.
- W1844232432 cites W1889014638 @default.
- W1844232432 cites W1986886404 @default.
- W1844232432 cites W2036081705 @default.
- W1844232432 cites W2065323166 @default.
- W1844232432 cites W2079756673 @default.
- W1844232432 cites W2091661303 @default.
- W1844232432 cites W2101508170 @default.
- W1844232432 cites W2104241409 @default.
- W1844232432 cites W2131045566 @default.
- W1844232432 cites W2135527638 @default.
- W1844232432 cites W2144965436 @default.
- W1844232432 cites W2156314014 @default.
- W1844232432 cites W2169630160 @default.
- W1844232432 cites W2180677596 @default.
- W1844232432 cites W2914055623 @default.
- W1844232432 cites W2951439219 @default.
- W1844232432 cites W59365162 @default.
- W1844232432 doi "https://doi.org/10.1007/978-3-662-46081-8_9" @default.
- W1844232432 hasPublicationYear "2015" @default.
- W1844232432 type Work @default.
- W1844232432 sameAs 1844232432 @default.
- W1844232432 citedByCount "3" @default.
- W1844232432 countsByYear W18442324322015 @default.
- W1844232432 countsByYear W18442324322017 @default.
- W1844232432 crossrefType "book-chapter" @default.
- W1844232432 hasAuthorship W1844232432A5027605103 @default.
- W1844232432 hasAuthorship W1844232432A5056755949 @default.
- W1844232432 hasAuthorship W1844232432A5072274322 @default.
- W1844232432 hasAuthorship W1844232432A5075103075 @default.
- W1844232432 hasConcept C121684516 @default.
- W1844232432 hasConcept C127413603 @default.
- W1844232432 hasConcept C13736549 @default.
- W1844232432 hasConcept C41008148 @default.
- W1844232432 hasConceptScore W1844232432C121684516 @default.
- W1844232432 hasConceptScore W1844232432C127413603 @default.
- W1844232432 hasConceptScore W1844232432C13736549 @default.
- W1844232432 hasConceptScore W1844232432C41008148 @default.
- W1844232432 hasLocation W18442324321 @default.
- W1844232432 hasOpenAccess W1844232432 @default.
- W1844232432 hasPrimaryLocation W18442324321 @default.
- W1844232432 hasRelatedWork W2135024282 @default.
- W1844232432 hasRelatedWork W2318371068 @default.
- W1844232432 hasRelatedWork W2361017481 @default.
- W1844232432 hasRelatedWork W2385729804 @default.
- W1844232432 hasRelatedWork W2643419842 @default.
- W1844232432 hasRelatedWork W2748952813 @default.
- W1844232432 hasRelatedWork W4214924096 @default.
- W1844232432 hasRelatedWork W4235112656 @default.
- W1844232432 hasRelatedWork W4246418678 @default.
- W1844232432 hasRelatedWork W4252386424 @default.
- W1844232432 isParatext "false" @default.
- W1844232432 isRetracted "false" @default.
- W1844232432 magId "1844232432" @default.
- W1844232432 workType "book-chapter" @default.