FRINK Linked Data Fragments server

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

• W2056804734 abstract "Abstract While current approaches for the safety verification (understood here as the verification that the trajectories of the system remain in a prescribed set in the state space) of hybrid systems yield rigorous proofs for system safety, their applicability is restricted to relatively small systems. In this paper, the safety properties of a logic-controlled industrial processing system with hybrid dynamics are investigated using two optimization-based approaches. In the first approach, the hybrid system is regarded as a black box (i.e. only the input–output behavior is considered), and optimization-based techniques are used to compute worst-case scenarios. The second approach employs a semi-analytical technique by combining rigorous theorem proving that is applied to the dynamic equations of the process with the computation of worst-case scenarios using global non-linear optimization techniques. It is shown that both approaches are able to determine safety-critical evolutions for a rigorous hybrid model of the industrial-scale evaporation system." @default.
• W2056804734 created "2016-06-24" @default.
• W2056804734 creator A5010197981 @default.
• W2056804734 creator A5026315633 @default.
• W2056804734 creator A5033400754 @default.
• W2056804734 creator A5036921877 @default.
• W2056804734 date "2008-10-01" @default.
• W2056804734 modified "2023-09-26" @default.
• W2056804734 title "Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator" @default.
• W2056804734 cites W1522694098 @default.
• W2056804734 cites W1538215585 @default.
• W2056804734 cites W1576278728 @default.
• W2056804734 cites W1600235415 @default.
• W2056804734 cites W1607353007 @default.
• W2056804734 cites W1676597814 @default.
• W2056804734 cites W1844911504 @default.
• W2056804734 cites W1968761541 @default.
• W2056804734 cites W1971353392 @default.
• W2056804734 cites W2000947342 @default.
• W2056804734 cites W2015739305 @default.
• W2056804734 cites W2027027181 @default.
• W2056804734 cites W2057012664 @default.
• W2056804734 cites W2081944106 @default.
• W2056804734 cites W2099354898 @default.
• W2056804734 cites W2101508170 @default.
• W2056804734 cites W2107164313 @default.
• W2056804734 cites W2117218135 @default.
• W2056804734 cites W2124778357 @default.
• W2056804734 cites W2142590165 @default.
• W2056804734 cites W2147340401 @default.
• W2056804734 cites W2325467152 @default.
• W2056804734 cites W3022429701 @default.
• W2056804734 doi "https://doi.org/10.1016/j.jprocont.2008.06.009" @default.
• W2056804734 hasPublicationYear "2008" @default.
• W2056804734 type Work @default.
• W2056804734 sameAs 2056804734 @default.
• W2056804734 citedByCount "4" @default.
• W2056804734 countsByYear W20568047342012 @default.
• W2056804734 countsByYear W20568047342018 @default.
• W2056804734 countsByYear W20568047342019 @default.
• W2056804734 crossrefType "journal-article" @default.
• W2056804734 hasAuthorship W2056804734A5010197981 @default.
• W2056804734 hasAuthorship W2056804734A5026315633 @default.
• W2056804734 hasAuthorship W2056804734A5033400754 @default.
• W2056804734 hasAuthorship W2056804734A5036921877 @default.
• W2056804734 hasConcept C105795698 @default.
• W2056804734 hasConcept C108710211 @default.
• W2056804734 hasConcept C111919701 @default.
• W2056804734 hasConcept C11413529 @default.
• W2056804734 hasConcept C119857082 @default.
• W2056804734 hasConcept C126255220 @default.
• W2056804734 hasConcept C127413603 @default.
• W2056804734 hasConcept C132835097 @default.
• W2056804734 hasConcept C154945302 @default.
• W2056804734 hasConcept C163707989 @default.
• W2056804734 hasConcept C177264268 @default.
• W2056804734 hasConcept C199360897 @default.
• W2056804734 hasConcept C200601418 @default.
• W2056804734 hasConcept C2524010 @default.
• W2056804734 hasConcept C2777904410 @default.
• W2056804734 hasConcept C33923547 @default.
• W2056804734 hasConcept C41008148 @default.
• W2056804734 hasConcept C45374587 @default.
• W2056804734 hasConcept C50897621 @default.
• W2056804734 hasConcept C72434380 @default.
• W2056804734 hasConcept C94966114 @default.
• W2056804734 hasConcept C98045186 @default.
• W2056804734 hasConceptScore W2056804734C105795698 @default.
• W2056804734 hasConceptScore W2056804734C108710211 @default.
• W2056804734 hasConceptScore W2056804734C111919701 @default.
• W2056804734 hasConceptScore W2056804734C11413529 @default.
• W2056804734 hasConceptScore W2056804734C119857082 @default.
• W2056804734 hasConceptScore W2056804734C126255220 @default.
• W2056804734 hasConceptScore W2056804734C127413603 @default.
• W2056804734 hasConceptScore W2056804734C132835097 @default.
• W2056804734 hasConceptScore W2056804734C154945302 @default.
• W2056804734 hasConceptScore W2056804734C163707989 @default.
• W2056804734 hasConceptScore W2056804734C177264268 @default.
• W2056804734 hasConceptScore W2056804734C199360897 @default.
• W2056804734 hasConceptScore W2056804734C200601418 @default.
• W2056804734 hasConceptScore W2056804734C2524010 @default.
• W2056804734 hasConceptScore W2056804734C2777904410 @default.
• W2056804734 hasConceptScore W2056804734C33923547 @default.
• W2056804734 hasConceptScore W2056804734C41008148 @default.
• W2056804734 hasConceptScore W2056804734C45374587 @default.
• W2056804734 hasConceptScore W2056804734C50897621 @default.
• W2056804734 hasConceptScore W2056804734C72434380 @default.
• W2056804734 hasConceptScore W2056804734C94966114 @default.
• W2056804734 hasConceptScore W2056804734C98045186 @default.
• W2056804734 hasLocation W20568047341 @default.
• W2056804734 hasOpenAccess W2056804734 @default.
• W2056804734 hasPrimaryLocation W20568047341 @default.
• W2056804734 hasRelatedWork W1250745299 @default.
• W2056804734 hasRelatedWork W1533617471 @default.
• W2056804734 hasRelatedWork W2026518960 @default.
• W2056804734 hasRelatedWork W2111546354 @default.
• W2056804734 hasRelatedWork W2137774710 @default.
• W2056804734 hasRelatedWork W2141484446 @default.
• W2056804734 hasRelatedWork W2145786419 @default.
• W2056804734 hasRelatedWork W2153007192 @default.

• next