Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300785541> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4300785541 abstract "Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop in which simple com putations update internal states and produce commands to update the system state. Those systems are yet hardly analyzable by available static analysis method, since, even if performing mainly linear computations, the computation of a safe set of reachable states often requires quadratic invariants. In this paper we consider the general setting of a piecewise affine program; that is a program performing different affine updates on the system depending on some conditions. This typically encompasses linear controllers with saturations or controllers with different behaviors and performances activated on some safety conditions. Our analysis is inspired by works performed a decade ago by Johansson et al, and Morari et al, in the control community. We adapted their method focused on the analysis of stability in continuous-time or discrete-time settings to fit the static analysis paradigm and the computation of invariants, that is over-approximation of reachable sets using piecewise quadratic Lyapunov functions." @default.
- W4300785541 created "2022-10-04" @default.
- W4300785541 creator A5025996200 @default.
- W4300785541 creator A5066095974 @default.
- W4300785541 creator A5071154474 @default.
- W4300785541 date "2014-09-16" @default.
- W4300785541 modified "2023-10-02" @default.
- W4300785541 title "Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs" @default.
- W4300785541 doi "https://doi.org/10.48550/arxiv.1409.5089" @default.
- W4300785541 hasPublicationYear "2014" @default.
- W4300785541 type Work @default.
- W4300785541 citedByCount "0" @default.
- W4300785541 crossrefType "posted-content" @default.
- W4300785541 hasAuthorship W4300785541A5025996200 @default.
- W4300785541 hasAuthorship W4300785541A5066095974 @default.
- W4300785541 hasAuthorship W4300785541A5071154474 @default.
- W4300785541 hasBestOaLocation W43007855411 @default.
- W4300785541 hasConcept C112972136 @default.
- W4300785541 hasConcept C11413529 @default.
- W4300785541 hasConcept C119857082 @default.
- W4300785541 hasConcept C121332964 @default.
- W4300785541 hasConcept C126255220 @default.
- W4300785541 hasConcept C129844170 @default.
- W4300785541 hasConcept C134306372 @default.
- W4300785541 hasConcept C158622935 @default.
- W4300785541 hasConcept C164660894 @default.
- W4300785541 hasConcept C17095337 @default.
- W4300785541 hasConcept C177264268 @default.
- W4300785541 hasConcept C199360897 @default.
- W4300785541 hasConcept C202444582 @default.
- W4300785541 hasConcept C2524010 @default.
- W4300785541 hasConcept C28826006 @default.
- W4300785541 hasConcept C33923547 @default.
- W4300785541 hasConcept C41008148 @default.
- W4300785541 hasConcept C45374587 @default.
- W4300785541 hasConcept C48103436 @default.
- W4300785541 hasConcept C60640748 @default.
- W4300785541 hasConcept C62520636 @default.
- W4300785541 hasConcept C6802819 @default.
- W4300785541 hasConcept C81845259 @default.
- W4300785541 hasConcept C92757383 @default.
- W4300785541 hasConceptScore W4300785541C112972136 @default.
- W4300785541 hasConceptScore W4300785541C11413529 @default.
- W4300785541 hasConceptScore W4300785541C119857082 @default.
- W4300785541 hasConceptScore W4300785541C121332964 @default.
- W4300785541 hasConceptScore W4300785541C126255220 @default.
- W4300785541 hasConceptScore W4300785541C129844170 @default.
- W4300785541 hasConceptScore W4300785541C134306372 @default.
- W4300785541 hasConceptScore W4300785541C158622935 @default.
- W4300785541 hasConceptScore W4300785541C164660894 @default.
- W4300785541 hasConceptScore W4300785541C17095337 @default.
- W4300785541 hasConceptScore W4300785541C177264268 @default.
- W4300785541 hasConceptScore W4300785541C199360897 @default.
- W4300785541 hasConceptScore W4300785541C202444582 @default.
- W4300785541 hasConceptScore W4300785541C2524010 @default.
- W4300785541 hasConceptScore W4300785541C28826006 @default.
- W4300785541 hasConceptScore W4300785541C33923547 @default.
- W4300785541 hasConceptScore W4300785541C41008148 @default.
- W4300785541 hasConceptScore W4300785541C45374587 @default.
- W4300785541 hasConceptScore W4300785541C48103436 @default.
- W4300785541 hasConceptScore W4300785541C60640748 @default.
- W4300785541 hasConceptScore W4300785541C62520636 @default.
- W4300785541 hasConceptScore W4300785541C6802819 @default.
- W4300785541 hasConceptScore W4300785541C81845259 @default.
- W4300785541 hasConceptScore W4300785541C92757383 @default.
- W4300785541 hasLocation W43007855411 @default.
- W4300785541 hasLocation W43007855412 @default.
- W4300785541 hasLocation W43007855413 @default.
- W4300785541 hasLocation W43007855414 @default.
- W4300785541 hasLocation W43007855415 @default.
- W4300785541 hasOpenAccess W4300785541 @default.
- W4300785541 hasPrimaryLocation W43007855411 @default.
- W4300785541 hasRelatedWork W1911744185 @default.
- W4300785541 hasRelatedWork W1996578343 @default.
- W4300785541 hasRelatedWork W1999631592 @default.
- W4300785541 hasRelatedWork W2033163755 @default.
- W4300785541 hasRelatedWork W2071291283 @default.
- W4300785541 hasRelatedWork W2109304297 @default.
- W4300785541 hasRelatedWork W2116731959 @default.
- W4300785541 hasRelatedWork W2150414173 @default.
- W4300785541 hasRelatedWork W2198060433 @default.
- W4300785541 hasRelatedWork W2592390706 @default.
- W4300785541 isParatext "false" @default.
- W4300785541 isRetracted "false" @default.
- W4300785541 workType "article" @default.