FRINK Linked Data Fragments server

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

• W2053994043 endingPage "666" @default.
• W2053994043 startingPage "659" @default.
• W2053994043 abstract "We present an approach for verifying locking of charge-pump phase-locked loops by performing reachability analysis on a behavioral model of the circuit. Bounded uncertain parameters in the behavioral model make it possible to represent all possible behaviors of more detailed models. The dynamics of the behavioral model is hybrid (i.e., discrete and continuous) due to the switching of charge pumps that drive the analog control circuits. A unique feature of phase-locked loops compared to most other hybrid systems is that they require thousands of switchings in the continuous dynamics to converge sufficiently close to a limit cycle. This makes reachability analysis a challenging task since switches in the dynamics are expensive to compute and result in conservative overapproximations. We solve this problem by overapproximating the effects of the switching conditions with uncertain parameters in linear continuous models, a method we call continuization. Using efficient reachability algorithms for discrete-time linear systems, locking is verified over the complete range of possible initial states of a charge-pump PLL designed in 32nm CMOS SOI technology in comparable time required for Monte Carlo simulations of the same behavioral model." @default.
• W2053994043 created "2016-06-24" @default.
• W2053994043 creator A5005383495 @default.
• W2053994043 creator A5022526821 @default.
• W2053994043 creator A5026562535 @default.
• W2053994043 creator A5033242808 @default.
• W2053994043 creator A5045323978 @default.
• W2053994043 creator A5055160439 @default.
• W2053994043 date "2011-11-07" @default.
• W2053994043 modified "2023-10-01" @default.
• W2053994043 title "Formal verification of phase-locked loops using reachability analysis and continuization" @default.
• W2053994043 cites W1532859487 @default.
• W2053994043 cites W1536813105 @default.
• W2053994043 cites W1537946603 @default.
• W2053994043 cites W1547304883 @default.
• W2053994043 cites W1576278728 @default.
• W2053994043 cites W1976415026 @default.
• W2053994043 cites W1994364444 @default.
• W2053994043 cites W1998674588 @default.
• W2053994043 cites W2004373311 @default.
• W2053994043 cites W2004463571 @default.
• W2053994043 cites W2019019572 @default.
• W2053994043 cites W2028924344 @default.
• W2053994043 cites W2040584579 @default.
• W2053994043 cites W2084777069 @default.
• W2053994043 cites W2104439088 @default.
• W2053994043 cites W2110910849 @default.
• W2053994043 cites W2116358561 @default.
• W2053994043 cites W2124959164 @default.
• W2053994043 cites W2142091551 @default.
• W2053994043 cites W2144275718 @default.
• W2053994043 cites W2144785157 @default.
• W2053994043 cites W2152533774 @default.
• W2053994043 cites W2153160343 @default.
• W2053994043 cites W2158533859 @default.
• W2053994043 cites W2176215692 @default.
• W2053994043 cites W2294347919 @default.
• W2053994043 cites W2340735175 @default.
• W2053994043 cites W2476112607 @default.
• W2053994043 cites W2750147881 @default.
• W2053994043 cites W2913459036 @default.
• W2053994043 cites W3150028190 @default.
• W2053994043 cites W37827039 @default.
• W2053994043 cites W622304541 @default.
• W2053994043 cites W77078696 @default.
• W2053994043 doi "https://doi.org/10.5555/2132325.2132473" @default.
• W2053994043 hasPublicationYear "2011" @default.
• W2053994043 type Work @default.
• W2053994043 sameAs 2053994043 @default.
• W2053994043 citedByCount "22" @default.
• W2053994043 countsByYear W20539940432012 @default.
• W2053994043 countsByYear W20539940432013 @default.
• W2053994043 countsByYear W20539940432014 @default.
• W2053994043 countsByYear W20539940432015 @default.
• W2053994043 countsByYear W20539940432016 @default.
• W2053994043 countsByYear W20539940432017 @default.
• W2053994043 crossrefType "proceedings-article" @default.
• W2053994043 hasAuthorship W2053994043A5005383495 @default.
• W2053994043 hasAuthorship W2053994043A5022526821 @default.
• W2053994043 hasAuthorship W2053994043A5026562535 @default.
• W2053994043 hasAuthorship W2053994043A5033242808 @default.
• W2053994043 hasAuthorship W2053994043A5045323978 @default.
• W2053994043 hasAuthorship W2053994043A5055160439 @default.
• W2053994043 hasConcept C105795698 @default.
• W2053994043 hasConcept C11413529 @default.
• W2053994043 hasConcept C121332964 @default.
• W2053994043 hasConcept C12707504 @default.
• W2053994043 hasConcept C134146338 @default.
• W2053994043 hasConcept C134306372 @default.
• W2053994043 hasConcept C134652429 @default.
• W2053994043 hasConcept C136643341 @default.
• W2053994043 hasConcept C154945302 @default.
• W2053994043 hasConcept C19499675 @default.
• W2053994043 hasConcept C2775924081 @default.
• W2053994043 hasConcept C33923547 @default.
• W2053994043 hasConcept C34388435 @default.
• W2053994043 hasConcept C41008148 @default.
• W2053994043 hasConcept C47446073 @default.
• W2053994043 hasConcept C62520636 @default.
• W2053994043 hasConcept C76155785 @default.
• W2053994043 hasConcept C78639753 @default.
• W2053994043 hasConceptScore W2053994043C105795698 @default.
• W2053994043 hasConceptScore W2053994043C11413529 @default.
• W2053994043 hasConceptScore W2053994043C121332964 @default.
• W2053994043 hasConceptScore W2053994043C12707504 @default.
• W2053994043 hasConceptScore W2053994043C134146338 @default.
• W2053994043 hasConceptScore W2053994043C134306372 @default.
• W2053994043 hasConceptScore W2053994043C134652429 @default.
• W2053994043 hasConceptScore W2053994043C136643341 @default.
• W2053994043 hasConceptScore W2053994043C154945302 @default.
• W2053994043 hasConceptScore W2053994043C19499675 @default.
• W2053994043 hasConceptScore W2053994043C2775924081 @default.
• W2053994043 hasConceptScore W2053994043C33923547 @default.
• W2053994043 hasConceptScore W2053994043C34388435 @default.
• W2053994043 hasConceptScore W2053994043C41008148 @default.
• W2053994043 hasConceptScore W2053994043C47446073 @default.
• W2053994043 hasConceptScore W2053994043C62520636 @default.
• W2053994043 hasConceptScore W2053994043C76155785 @default.

• next