Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999016870> ?p ?o ?g. }
- W1999016870 endingPage "383" @default.
- W1999016870 startingPage "371" @default.
- W1999016870 abstract "This paper presents a numerical procedure for the reachability analysis of systems with nonlinear, semi-explicit, index-1 differential-algebraic equations. The procedure computes reachable sets for uncertain initial states and inputs in an overapproximative way, i.e. it is guaranteed that all possible trajectories of the system are enclosed. Thus, the result can be used for formal verification of system properties that can be specified in the state space as unsafe or goal regions. Due to the representation of reachable sets by zonotopes and the use of highly scalable operations on them, the presented approach scales favorably with the number of state variables. This makes it possible to solve problems of industry-relevant size, as demonstrated by a transient stability analysis of the IEEE 14-bus benchmark problem for power systems." @default.
- W1999016870 created "2016-06-24" @default.
- W1999016870 creator A5005383495 @default.
- W1999016870 creator A5026562535 @default.
- W1999016870 date "2014-02-01" @default.
- W1999016870 modified "2023-10-03" @default.
- W1999016870 title "Reachability Analysis of Nonlinear Differential-Algebraic Systems" @default.
- W1999016870 cites W143062967 @default.
- W1999016870 cites W1490031917 @default.
- W1999016870 cites W1532859487 @default.
- W1999016870 cites W1569692898 @default.
- W1999016870 cites W1571009978 @default.
- W1999016870 cites W1576278728 @default.
- W1999016870 cites W1597944220 @default.
- W1999016870 cites W1598855039 @default.
- W1999016870 cites W1637407644 @default.
- W1999016870 cites W1950837425 @default.
- W1999016870 cites W1980573901 @default.
- W1999016870 cites W1990733120 @default.
- W1999016870 cites W1994475353 @default.
- W1999016870 cites W1994826906 @default.
- W1999016870 cites W1998667631 @default.
- W1999016870 cites W2040584579 @default.
- W1999016870 cites W2051110650 @default.
- W1999016870 cites W2063248972 @default.
- W1999016870 cites W2099354898 @default.
- W1999016870 cites W2101508170 @default.
- W1999016870 cites W2110512895 @default.
- W1999016870 cites W2110910849 @default.
- W1999016870 cites W2111546354 @default.
- W1999016870 cites W2112506985 @default.
- W1999016870 cites W2116364955 @default.
- W1999016870 cites W2126311295 @default.
- W1999016870 cites W2130529437 @default.
- W1999016870 cites W2131441094 @default.
- W1999016870 cites W2146979191 @default.
- W1999016870 cites W2147246923 @default.
- W1999016870 cites W2147936671 @default.
- W1999016870 cites W2158451642 @default.
- W1999016870 cites W2162196264 @default.
- W1999016870 cites W2162270430 @default.
- W1999016870 cites W2164302731 @default.
- W1999016870 cites W2176215692 @default.
- W1999016870 cites W4210718478 @default.
- W1999016870 doi "https://doi.org/10.1109/tac.2013.2285751" @default.
- W1999016870 hasPublicationYear "2014" @default.
- W1999016870 type Work @default.
- W1999016870 sameAs 1999016870 @default.
- W1999016870 citedByCount "95" @default.
- W1999016870 countsByYear W19990168702014 @default.
- W1999016870 countsByYear W19990168702015 @default.
- W1999016870 countsByYear W19990168702016 @default.
- W1999016870 countsByYear W19990168702017 @default.
- W1999016870 countsByYear W19990168702018 @default.
- W1999016870 countsByYear W19990168702019 @default.
- W1999016870 countsByYear W19990168702020 @default.
- W1999016870 countsByYear W19990168702021 @default.
- W1999016870 countsByYear W19990168702022 @default.
- W1999016870 countsByYear W19990168702023 @default.
- W1999016870 crossrefType "journal-article" @default.
- W1999016870 hasAuthorship W1999016870A5005383495 @default.
- W1999016870 hasAuthorship W1999016870A5026562535 @default.
- W1999016870 hasBestOaLocation W19990168702 @default.
- W1999016870 hasConcept C105795698 @default.
- W1999016870 hasConcept C111919701 @default.
- W1999016870 hasConcept C112972136 @default.
- W1999016870 hasConcept C11413529 @default.
- W1999016870 hasConcept C119857082 @default.
- W1999016870 hasConcept C121332964 @default.
- W1999016870 hasConcept C126255220 @default.
- W1999016870 hasConcept C127413603 @default.
- W1999016870 hasConcept C13280743 @default.
- W1999016870 hasConcept C134306372 @default.
- W1999016870 hasConcept C136643341 @default.
- W1999016870 hasConcept C146978453 @default.
- W1999016870 hasConcept C154945302 @default.
- W1999016870 hasConcept C158622935 @default.
- W1999016870 hasConcept C163258240 @default.
- W1999016870 hasConcept C17744445 @default.
- W1999016870 hasConcept C185798385 @default.
- W1999016870 hasConcept C186219872 @default.
- W1999016870 hasConcept C199539241 @default.
- W1999016870 hasConcept C205649164 @default.
- W1999016870 hasConcept C2775924081 @default.
- W1999016870 hasConcept C2776359362 @default.
- W1999016870 hasConcept C2780799671 @default.
- W1999016870 hasConcept C33923547 @default.
- W1999016870 hasConcept C41008148 @default.
- W1999016870 hasConcept C47446073 @default.
- W1999016870 hasConcept C48044578 @default.
- W1999016870 hasConcept C48103436 @default.
- W1999016870 hasConcept C50897621 @default.
- W1999016870 hasConcept C51544822 @default.
- W1999016870 hasConcept C62520636 @default.
- W1999016870 hasConcept C72434380 @default.
- W1999016870 hasConcept C77088390 @default.
- W1999016870 hasConcept C78045399 @default.
- W1999016870 hasConcept C89227174 @default.