FRINK Linked Data Fragments server

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

• W4383890023 endingPage "207" @default.
• W4383890023 startingPage "200" @default.
• W4383890023 abstract "Inductive approaches to deductive verification has gained widespread adoption in the control and verification of safety-critical dynamical systems. The practical success of barrier certificates attests to their effectiveness and ongoing theoretical and practical refinement. However, when verification conditions are non-inductive, various strategies are employed to address this issue. One strategy is to <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>strengthen</i> the property until they arrive at an inductive proof. However, it is not always obvious how one must strengthen a property. Notions of strenghtening are particularly non-obvious when the properties of interest are more expressive than safety or reachability. An alternative technique is to instead consider <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>structural</i> changes. These structural changes may either be to consider novel notions of induction such as <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink><tex-math notation=LaTeX>$k$</tex-math></inline-formula> -induction, or to encode additional information similar to dimension lifting. We posit that reformulating or <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>restructuring</i> of the system is fundamental to inductive approaches. This position paper provides an overview of barrier certificate based verification approaches and their connection to system restructuring. We discuss the opportunities, challenges, and open problems in this emerging field, paving the way for future research in the verification of safety-critical dynamical systems. The framework of restructuring of a system holds promise for advancing deductive verification, enhancing system safety, and promoting design insights." @default.
• W4383890023 created "2023-07-12" @default.
• W4383890023 creator A5020302140 @default.
• W4383890023 creator A5030109984 @default.
• W4383890023 creator A5075151009 @default.
• W4383890023 date "2023-01-01" @default.
• W4383890023 modified "2023-09-25" @default.
• W4383890023 title "Restructuring Dynamical Systems for Inductive Verification" @default.
• W4383890023 cites W1481397690 @default.
• W4383890023 cites W1496681274 @default.
• W4383890023 cites W1569692898 @default.
• W4383890023 cites W1607353007 @default.
• W4383890023 cites W1889756448 @default.
• W4383890023 cites W1905380539 @default.
• W4383890023 cites W1967184028 @default.
• W4383890023 cites W1984478483 @default.
• W4383890023 cites W2004463571 @default.
• W4383890023 cites W2011495999 @default.
• W4383890023 cites W2021012570 @default.
• W4383890023 cites W2023808162 @default.
• W4383890023 cites W2031373068 @default.
• W4383890023 cites W2033118636 @default.
• W4383890023 cites W2050383062 @default.
• W4383890023 cites W2074027094 @default.
• W4383890023 cites W2117218135 @default.
• W4383890023 cites W2118741873 @default.
• W4383890023 cites W2124339220 @default.
• W4383890023 cites W2124909257 @default.
• W4383890023 cites W2128803539 @default.
• W4383890023 cites W2137351629 @default.
• W4383890023 cites W2165748475 @default.
• W4383890023 cites W2337661843 @default.
• W4383890023 cites W2345020933 @default.
• W4383890023 cites W2487779201 @default.
• W4383890023 cites W2556282465 @default.
• W4383890023 cites W2561773129 @default.
• W4383890023 cites W2810334434 @default.
• W4383890023 cites W2888997865 @default.
• W4383890023 cites W2889277448 @default.
• W4383890023 cites W2911375523 @default.
• W4383890023 cites W2963995273 @default.
• W4383890023 cites W2964335063 @default.
• W4383890023 cites W2987907651 @default.
• W4383890023 cites W3104168345 @default.
• W4383890023 cites W3113215678 @default.
• W4383890023 cites W3138459719 @default.
• W4383890023 cites W4210577781 @default.
• W4383890023 cites W4235240131 @default.
• W4383890023 cites W4236362309 @default.
• W4383890023 cites W4248689402 @default.
• W4383890023 cites W4250728693 @default.
• W4383890023 doi "https://doi.org/10.1109/ojcsys.2023.3294098" @default.
• W4383890023 hasPublicationYear "2023" @default.
• W4383890023 type Work @default.
• W4383890023 citedByCount "0" @default.
• W4383890023 crossrefType "journal-article" @default.
• W4383890023 hasAuthorship W4383890023A5020302140 @default.
• W4383890023 hasAuthorship W4383890023A5030109984 @default.
• W4383890023 hasAuthorship W4383890023A5075151009 @default.
• W4383890023 hasBestOaLocation W43838900231 @default.
• W4383890023 hasConcept C11413529 @default.
• W4383890023 hasConcept C136119220 @default.
• W4383890023 hasConcept C136643341 @default.
• W4383890023 hasConcept C154945302 @default.
• W4383890023 hasConcept C202444582 @default.
• W4383890023 hasConcept C21563000 @default.
• W4383890023 hasConcept C33923547 @default.
• W4383890023 hasConcept C41008148 @default.
• W4383890023 hasConcept C80444323 @default.
• W4383890023 hasConcept C96865113 @default.
• W4383890023 hasConceptScore W4383890023C11413529 @default.
• W4383890023 hasConceptScore W4383890023C136119220 @default.
• W4383890023 hasConceptScore W4383890023C136643341 @default.
• W4383890023 hasConceptScore W4383890023C154945302 @default.
• W4383890023 hasConceptScore W4383890023C202444582 @default.
• W4383890023 hasConceptScore W4383890023C21563000 @default.
• W4383890023 hasConceptScore W4383890023C33923547 @default.
• W4383890023 hasConceptScore W4383890023C41008148 @default.
• W4383890023 hasConceptScore W4383890023C80444323 @default.
• W4383890023 hasConceptScore W4383890023C96865113 @default.
• W4383890023 hasLocation W43838900231 @default.
• W4383890023 hasOpenAccess W4383890023 @default.
• W4383890023 hasPrimaryLocation W43838900231 @default.
• W4383890023 hasRelatedWork W136900201 @default.
• W4383890023 hasRelatedWork W1486100501 @default.
• W4383890023 hasRelatedWork W1501233076 @default.
• W4383890023 hasRelatedWork W2047952376 @default.
• W4383890023 hasRelatedWork W2368796975 @default.
• W4383890023 hasRelatedWork W2386767533 @default.
• W4383890023 hasRelatedWork W2786605369 @default.
• W4383890023 hasRelatedWork W3006118393 @default.
• W4383890023 hasRelatedWork W381935118 @default.
• W4383890023 hasRelatedWork W4247047556 @default.
• W4383890023 hasVolume "2" @default.
• W4383890023 isParatext "false" @default.
• W4383890023 isRetracted "false" @default.
• W4383890023 workType "article" @default.