FRINK Linked Data Fragments server

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

• W4323914099 endingPage "3024" @default.
• W4323914099 startingPage "3011" @default.
• W4323914099 abstract "This article is concerned with a formal verification scheme for both discrete- and continuous-time deterministic systems with unknown mathematical models. The main target is to verify the safety of unknown systems based on the construction of barrier certificates via a set of data collected from trajectories of systems while providing an a-priori guaranteed confidence on the safety. In our proposed framework, we first cast the original safety problem as a robust convex program (RCP). Solving the proposed RCP is not tractable in general since the unknown model appears in one of the constraints. Instead, we collect finite numbers of data from trajectories of the system and provide a scenario convex program (SCP) corresponding to the original RCP. We then establish a probabilistic closeness between the optimal value of SCP and that of RCP, and as a result, we formally quantify the safety guarantee of unknown systems based on the number of data points and a required level of confidence. We propose our framework in both discrete-time and continuous-time settings. We illustrate the effectiveness of our proposed results by first applying them to an unknown continuous-time room temperature system. We verify that the temperature of the room maintains in a comfort zone with some desirable confidence by collecting data from trajectories of the system. To show the applicability of our techniques to <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>higher dimensional</i> systems with <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>nonlinear</i> dynamics, we then apply our results to a continuous-time <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>nonlinear</i> jet engine compressor and a discrete-time DC motor." @default.
• W4323914099 created "2023-03-12" @default.
• W4323914099 creator A5011080021 @default.
• W4323914099 creator A5017334634 @default.
• W4323914099 creator A5030109984 @default.
• W4323914099 creator A5061394007 @default.
• W4323914099 creator A5073867567 @default.
• W4323914099 date "2023-05-01" @default.
• W4323914099 modified "2023-10-17" @default.
• W4323914099 title "Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach" @default.
• W4323914099 cites W1563025436 @default.
• W4323914099 cites W1607353007 @default.
• W4323914099 cites W1634557639 @default.
• W4323914099 cites W1972149633 @default.
• W4323914099 cites W2023808162 @default.
• W4323914099 cites W2033118636 @default.
• W4323914099 cites W2043772803 @default.
• W4323914099 cites W2052725501 @default.
• W4323914099 cites W2087486424 @default.
• W4323914099 cites W2131295967 @default.
• W4323914099 cites W2164261482 @default.
• W4323914099 cites W2167412190 @default.
• W4323914099 cites W2396495043 @default.
• W4323914099 cites W2558765880 @default.
• W4323914099 cites W2561773129 @default.
• W4323914099 cites W2582186538 @default.
• W4323914099 cites W2759834774 @default.
• W4323914099 cites W2782983619 @default.
• W4323914099 cites W2796061040 @default.
• W4323914099 cites W2895196950 @default.
• W4323914099 cites W2944522148 @default.
• W4323914099 cites W2963148914 @default.
• W4323914099 cites W2963686733 @default.
• W4323914099 cites W2966735560 @default.
• W4323914099 cites W2968945909 @default.
• W4323914099 cites W2969264971 @default.
• W4323914099 cites W3001057880 @default.
• W4323914099 cites W3001311638 @default.
• W4323914099 cites W3007404411 @default.
• W4323914099 cites W3023718358 @default.
• W4323914099 cites W3025302876 @default.
• W4323914099 cites W3026873144 @default.
• W4323914099 cites W3098925401 @default.
• W4323914099 cites W3105461229 @default.
• W4323914099 cites W3108299598 @default.
• W4323914099 cites W3113187462 @default.
• W4323914099 cites W3118080324 @default.
• W4323914099 cites W3119862069 @default.
• W4323914099 cites W3120272748 @default.
• W4323914099 cites W3125855560 @default.
• W4323914099 cites W3206190169 @default.
• W4323914099 cites W4226165084 @default.
• W4323914099 cites W4239216443 @default.
• W4323914099 cites W4250913065 @default.
• W4323914099 cites W4287817734 @default.
• W4323914099 doi "https://doi.org/10.1109/tac.2023.3255141" @default.
• W4323914099 hasPublicationYear "2023" @default.
• W4323914099 type Work @default.
• W4323914099 citedByCount "0" @default.
• W4323914099 crossrefType "journal-article" @default.
• W4323914099 hasAuthorship W4323914099A5011080021 @default.
• W4323914099 hasAuthorship W4323914099A5017334634 @default.
• W4323914099 hasAuthorship W4323914099A5030109984 @default.
• W4323914099 hasAuthorship W4323914099A5061394007 @default.
• W4323914099 hasAuthorship W4323914099A5073867567 @default.
• W4323914099 hasConcept C105795698 @default.
• W4323914099 hasConcept C111472728 @default.
• W4323914099 hasConcept C112680207 @default.
• W4323914099 hasConcept C11413529 @default.
• W4323914099 hasConcept C124101348 @default.
• W4323914099 hasConcept C126255220 @default.
• W4323914099 hasConcept C134306372 @default.
• W4323914099 hasConcept C138885662 @default.
• W4323914099 hasConcept C154945302 @default.
• W4323914099 hasConcept C177264268 @default.
• W4323914099 hasConcept C199360897 @default.
• W4323914099 hasConcept C2524010 @default.
• W4323914099 hasConcept C2779545769 @default.
• W4323914099 hasConcept C33923547 @default.
• W4323914099 hasConcept C41008148 @default.
• W4323914099 hasConcept C49937458 @default.
• W4323914099 hasConcept C55689738 @default.
• W4323914099 hasConcept C75553542 @default.
• W4323914099 hasConcept C80444323 @default.
• W4323914099 hasConceptScore W4323914099C105795698 @default.
• W4323914099 hasConceptScore W4323914099C111472728 @default.
• W4323914099 hasConceptScore W4323914099C112680207 @default.
• W4323914099 hasConceptScore W4323914099C11413529 @default.
• W4323914099 hasConceptScore W4323914099C124101348 @default.
• W4323914099 hasConceptScore W4323914099C126255220 @default.
• W4323914099 hasConceptScore W4323914099C134306372 @default.
• W4323914099 hasConceptScore W4323914099C138885662 @default.
• W4323914099 hasConceptScore W4323914099C154945302 @default.
• W4323914099 hasConceptScore W4323914099C177264268 @default.
• W4323914099 hasConceptScore W4323914099C199360897 @default.
• W4323914099 hasConceptScore W4323914099C2524010 @default.
• W4323914099 hasConceptScore W4323914099C2779545769 @default.
• W4323914099 hasConceptScore W4323914099C33923547 @default.

• next