FRINK Linked Data Fragments server

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

• W2586027259 abstract "Cyber-physical systems involve both discrete actions and real-time that elapses depending on timing constants. In this paper, we introduce a formalism for such systems containing both real-time parameters in linear timing constraints and switchable (Boolean) actions. We define a new approach for synthesizing combinations of parameter valuations and allowed actions, under which the system correctness is ensured when expressed in the form of a safety property. We apply our approach to a railway crossing system example with a malicious intruder potentially threatening the system safety." @default.
• W2586027259 created "2017-02-10" @default.
• W2586027259 creator A5015791359 @default.
• W2586027259 creator A5040588151 @default.
• W2586027259 creator A5051227207 @default.
• W2586027259 creator A5084807183 @default.
• W2586027259 date "2016-06-01" @default.
• W2586027259 modified "2023-10-01" @default.
• W2586027259 title "Controlling Actions and Time in Parametric Timed Automata" @default.
• W2586027259 cites W11326594 @default.
• W2586027259 cites W1480909796 @default.
• W2586027259 cites W1514415753 @default.
• W2586027259 cites W1565729639 @default.
• W2586027259 cites W1789619899 @default.
• W2586027259 cites W1850823946 @default.
• W2586027259 cites W1874424006 @default.
• W2586027259 cites W1917164756 @default.
• W2586027259 cites W1979349468 @default.
• W2586027259 cites W1999103908 @default.
• W2586027259 cites W2025782239 @default.
• W2586027259 cites W2098166444 @default.
• W2586027259 cites W2099184861 @default.
• W2586027259 cites W2154229279 @default.
• W2586027259 cites W2155953212 @default.
• W2586027259 cites W2295332800 @default.
• W2586027259 cites W2296504218 @default.
• W2586027259 doi "https://doi.org/10.1109/acsd.2016.20" @default.
• W2586027259 hasPublicationYear "2016" @default.
• W2586027259 type Work @default.
• W2586027259 sameAs 2586027259 @default.
• W2586027259 citedByCount "1" @default.
• W2586027259 countsByYear W25860272592019 @default.
• W2586027259 crossrefType "proceedings-article" @default.
• W2586027259 hasAuthorship W2586027259A5015791359 @default.
• W2586027259 hasAuthorship W2586027259A5040588151 @default.
• W2586027259 hasAuthorship W2586027259A5051227207 @default.
• W2586027259 hasAuthorship W2586027259A5084807183 @default.
• W2586027259 hasConcept C105795698 @default.
• W2586027259 hasConcept C111472728 @default.
• W2586027259 hasConcept C111919701 @default.
• W2586027259 hasConcept C112505250 @default.
• W2586027259 hasConcept C11413529 @default.
• W2586027259 hasConcept C117251300 @default.
• W2586027259 hasConcept C120314980 @default.
• W2586027259 hasConcept C138885662 @default.
• W2586027259 hasConcept C142362112 @default.
• W2586027259 hasConcept C153349607 @default.
• W2586027259 hasConcept C179768478 @default.
• W2586027259 hasConcept C189950617 @default.
• W2586027259 hasConcept C30788636 @default.
• W2586027259 hasConcept C33923547 @default.
• W2586027259 hasConcept C41008148 @default.
• W2586027259 hasConcept C55439883 @default.
• W2586027259 hasConcept C558565934 @default.
• W2586027259 hasConcept C73301696 @default.
• W2586027259 hasConcept C80444323 @default.
• W2586027259 hasConceptScore W2586027259C105795698 @default.
• W2586027259 hasConceptScore W2586027259C111472728 @default.
• W2586027259 hasConceptScore W2586027259C111919701 @default.
• W2586027259 hasConceptScore W2586027259C112505250 @default.
• W2586027259 hasConceptScore W2586027259C11413529 @default.
• W2586027259 hasConceptScore W2586027259C117251300 @default.
• W2586027259 hasConceptScore W2586027259C120314980 @default.
• W2586027259 hasConceptScore W2586027259C138885662 @default.
• W2586027259 hasConceptScore W2586027259C142362112 @default.
• W2586027259 hasConceptScore W2586027259C153349607 @default.
• W2586027259 hasConceptScore W2586027259C179768478 @default.
• W2586027259 hasConceptScore W2586027259C189950617 @default.
• W2586027259 hasConceptScore W2586027259C30788636 @default.
• W2586027259 hasConceptScore W2586027259C33923547 @default.
• W2586027259 hasConceptScore W2586027259C41008148 @default.
• W2586027259 hasConceptScore W2586027259C55439883 @default.
• W2586027259 hasConceptScore W2586027259C558565934 @default.
• W2586027259 hasConceptScore W2586027259C73301696 @default.
• W2586027259 hasConceptScore W2586027259C80444323 @default.
• W2586027259 hasLocation W25860272591 @default.
• W2586027259 hasOpenAccess W2586027259 @default.
• W2586027259 hasPrimaryLocation W25860272591 @default.
• W2586027259 hasRelatedWork W135663677 @default.
• W2586027259 hasRelatedWork W1570655507 @default.
• W2586027259 hasRelatedWork W1574125125 @default.
• W2586027259 hasRelatedWork W1601091540 @default.
• W2586027259 hasRelatedWork W1601211035 @default.
• W2586027259 hasRelatedWork W1606290697 @default.
• W2586027259 hasRelatedWork W1606824214 @default.
• W2586027259 hasRelatedWork W1974646916 @default.
• W2586027259 hasRelatedWork W2006984763 @default.
• W2586027259 hasRelatedWork W2028436354 @default.
• W2586027259 hasRelatedWork W2095281995 @default.
• W2586027259 hasRelatedWork W2097042421 @default.
• W2586027259 hasRelatedWork W2118313618 @default.
• W2586027259 hasRelatedWork W2153269726 @default.
• W2586027259 hasRelatedWork W2242084152 @default.
• W2586027259 hasRelatedWork W2729198245 @default.
• W2586027259 hasRelatedWork W2798527773 @default.
• W2586027259 hasRelatedWork W3093832379 @default.
• W2586027259 hasRelatedWork W3105296526 @default.
• W2586027259 hasRelatedWork W3183267604 @default.
• W2586027259 isParatext "false" @default.
• W2586027259 isRetracted "false" @default.

• next