FRINK Linked Data Fragments server

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

• W580966105 abstract "Cyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes and computational processes. The interaction of physical components and computational components makes it difficult to analyze, design and verify this type of systems. The problem becomes more complex when certain input or decision of these systems must be initiated by human. Cyber-Physical Systems with human operator in the loop are called Embedded Human Systems(EHS). To ensure the safety of EHS such as traffic control systems, space shuttle control systems, nuclear power plant control systems and so on, it is critically important for human operators to fully understand both physical and computational processes. However, humans are usually easily overwhelmed by concurrent information, the situation becomes worse when it comes to complex EHS with timing constraints. This dissertation proposes a domain specific modeling language that takes advantage of hybrid system abstraction to retain important system behaviors and automatically generates self-configured system verification software. The verification software could effectively reduce the computation time with parallel scheduling algorithm, thus the computation process that violates the design protocol can be halted without wasting computation resources. The modeling environment also allows user to conveniently set design constraints to avoid flaws early in prototype phase and reuse the available model for a family of different platforms. Several verification results of different platforms are shown to demonstrate the efficiency and reusability of the modeling environment." @default.
• W580966105 created "2016-06-24" @default.
• W580966105 creator A5036195310 @default.
• W580966105 creator A5090088216 @default.
• W580966105 date "2013-01-01" @default.
• W580966105 modified "2023-09-27" @default.
• W580966105 title "Design validation of multi-mode systems" @default.
• W580966105 cites W1486206340 @default.
• W580966105 cites W1487586009 @default.
• W580966105 cites W1489550497 @default.
• W580966105 cites W1512340790 @default.
• W580966105 cites W1525798514 @default.
• W580966105 cites W153353184 @default.
• W580966105 cites W1542066744 @default.
• W580966105 cites W1543654099 @default.
• W580966105 cites W1543835543 @default.
• W580966105 cites W1549644356 @default.
• W580966105 cites W1550670412 @default.
• W580966105 cites W1550828720 @default.
• W580966105 cites W1565279216 @default.
• W580966105 cites W1569239057 @default.
• W580966105 cites W1594130515 @default.
• W580966105 cites W1857562490 @default.
• W580966105 cites W1991113069 @default.
• W580966105 cites W1991964001 @default.
• W580966105 cites W1995008247 @default.
• W580966105 cites W2014019774 @default.
• W580966105 cites W2016310411 @default.
• W580966105 cites W2028442956 @default.
• W580966105 cites W2033409946 @default.
• W580966105 cites W2046317364 @default.
• W580966105 cites W2054129954 @default.
• W580966105 cites W2057462050 @default.
• W580966105 cites W2060033172 @default.
• W580966105 cites W2060095702 @default.
• W580966105 cites W2091316349 @default.
• W580966105 cites W2093834886 @default.
• W580966105 cites W2098009157 @default.
• W580966105 cites W2098815550 @default.
• W580966105 cites W2099308299 @default.
• W580966105 cites W2100505193 @default.
• W580966105 cites W2100519472 @default.
• W580966105 cites W2104969481 @default.
• W580966105 cites W2105858189 @default.
• W580966105 cites W2109781560 @default.
• W580966105 cites W2113014586 @default.
• W580966105 cites W2117218135 @default.
• W580966105 cites W2117441058 @default.
• W580966105 cites W2123357397 @default.
• W580966105 cites W2136608864 @default.
• W580966105 cites W2138239212 @default.
• W580966105 cites W2139842876 @default.
• W580966105 cites W2141240350 @default.
• W580966105 cites W2149270119 @default.
• W580966105 cites W2151414332 @default.
• W580966105 cites W2151653149 @default.
• W580966105 cites W2153220708 @default.
• W580966105 cites W2156009911 @default.
• W580966105 cites W2159104891 @default.
• W580966105 cites W2166858912 @default.
• W580966105 cites W2332125581 @default.
• W580966105 cites W625928923 @default.
• W580966105 hasPublicationYear "2013" @default.
• W580966105 type Work @default.
• W580966105 sameAs 580966105 @default.
• W580966105 citedByCount "0" @default.
• W580966105 crossrefType "journal-article" @default.
• W580966105 hasAuthorship W580966105A5036195310 @default.
• W580966105 hasAuthorship W580966105A5090088216 @default.
• W580966105 hasConcept C111472728 @default.
• W580966105 hasConcept C111919701 @default.
• W580966105 hasConcept C116672817 @default.
• W580966105 hasConcept C120314980 @default.
• W580966105 hasConcept C121332964 @default.
• W580966105 hasConcept C124304363 @default.
• W580966105 hasConcept C127413603 @default.
• W580966105 hasConcept C138885662 @default.
• W580966105 hasConcept C177264268 @default.
• W580966105 hasConcept C179768478 @default.
• W580966105 hasConcept C199360897 @default.
• W580966105 hasConcept C206588197 @default.
• W580966105 hasConcept C206729178 @default.
• W580966105 hasConcept C21547014 @default.
• W580966105 hasConcept C41008148 @default.
• W580966105 hasConcept C44154836 @default.
• W580966105 hasConcept C548081761 @default.
• W580966105 hasConcept C62520636 @default.
• W580966105 hasConcept C66024118 @default.
• W580966105 hasConcept C98045186 @default.
• W580966105 hasConceptScore W580966105C111472728 @default.
• W580966105 hasConceptScore W580966105C111919701 @default.
• W580966105 hasConceptScore W580966105C116672817 @default.
• W580966105 hasConceptScore W580966105C120314980 @default.
• W580966105 hasConceptScore W580966105C121332964 @default.
• W580966105 hasConceptScore W580966105C124304363 @default.
• W580966105 hasConceptScore W580966105C127413603 @default.
• W580966105 hasConceptScore W580966105C138885662 @default.
• W580966105 hasConceptScore W580966105C177264268 @default.
• W580966105 hasConceptScore W580966105C179768478 @default.
• W580966105 hasConceptScore W580966105C199360897 @default.

• next