LEADER 00886nam0-2200265 --450 001 9910312050903321 005 20190322121148.0 010 $a3540415238 (alk. paper) 100 $a20190322d2001--------kmuy0itay5050----ba 101 0 $aeng 102 $aDE 200 1 $aSystems and software verification$emodel-checking techniques and tools /$fB. Be?rard ... [et al.] 210 $aBerlin ;$aNew York$cSpringer$dc2001 215 $axii, 190 p.$cill. ;$d24 cm 320 $aIncludes bibliographical references (p. [179]-182). 610 0 $aComputer systems$xVerification 610 0 $aComputer software$xVerification 676 $a005.1/4 701 1$aBe?rard,$bBe?atrice$0598511 801 0$aIT$bUNINA$gRICA$2UNIMARC 912 $a9910312050903321 952 $a13 65 07$b2129 / 2018$fFINBC 959 $aFINBC 996 $aSystems and software verification$91028436 997 $aUNINA LEADER 03648nam 2200565Ia 450 001 9910786499903321 005 20200520144314.0 010 $a0-8157-0382-1 035 $a(CKB)2670000000276797 035 $a(EBL)1069037 035 $a(OCoLC)818846677 035 $a(SSID)ssj0000755091 035 $a(PQKBManifestationID)11454036 035 $a(PQKBTitleCode)TC0000755091 035 $a(PQKBWorkID)10727155 035 $a(PQKB)11611907 035 $a(OCoLC)898027736 035 $a(MdBmJHUP)muse35288 035 $a(Au-PeEL)EBL1069037 035 $a(CaPaEBR)ebr10626286 035 $a(MiAaPQ)EBC1069037 035 $a(EXLCZ)992670000000276797 100 $a20090624d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAutomatic$b[electronic resource] $echanging the way America saves /$fWilliam G. Gale ... [et al.], editors 210 $aWashington, D.C. $cBrookings Institution Press$dc2009 215 $a1 online resource (282 p.) 300 $aBased on the work of the Retirement Security Project (RSP), a joint venture of Georgetown University's Public Policy Institute and the Brookings Institution, that is supported by the Pew Charitable Trusts and the Rockefeller Foundation. 311 $a0-8157-0278-7 320 $aIncludes bibliographical references and index. 327 $aPreface -- 1. Introduction / William G. Gale ... [et al.] -- PART I. AUTOMATIC SAVING STRUCTURES -- 2. Retirement saving for middle- and low-income households : the Pension Protection Act of 2006 and the unfinished agenda / William G. Gale, J. Mark Iwry, and Spencer Walters -- 3. The automatic 401(k) : revenue and distributional estimates / Christopher Geissler and Benjamin H. Harris -- 4. Pursuing universal retirement security through automatic IRAs / J. Mark Iwry and David C. John -- 5. National retirement savings systems in Australia, Chile, New Zealand, and the United Kingdom : lessons for the United States / David C. John and Ruth Levine -- PART II. TAKING THE MONEY OUT -- 6. Increasing annuitization in 401(k) plans with automatic trial income / William G. Gale ... [et. al.] -- 7. Automatic annuitization : new behavioral strategies for expanding lifetime income in 401(k)s / J. Mark Iwry and John A. Turner -- PART III. RETIREMENT SAVING FOR VULNERABLE GROUPS -- 8. Retirement security for Latinos : bolstering coverage, savings, and adequacy / Peter R. Orszag and Eric Rodriguez -- 9. Retirement security for women : progress to date on policies for tomorrow / Leslie E. Papke, Lina Walker, and Michael Dworsky -- 10. Strategies to increase the retirement savings of African American households / Ngina Chiteji and Lina Walker. 330 $a"Argues for a fresh approach to saving, simplified retirement planning, and managing risks associated with today's IRA environment. Calls for transformation of 401(k)s, incorporating features of defined benefit plans as automatic arrangements. Considers experiences of countries with automatic saving structures and presents proposals to implement similar features in this country"--Provided by publisher. 606 $aIndividual retirement accounts$zUnited States 606 $aSaving and investment$zUnited States 615 0$aIndividual retirement accounts 615 0$aSaving and investment 676 $a339.4/30973 701 $aGale$b William G$0141087 712 02$aRetirement Security Project. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910786499903321 996 $aAutomatic$93714692 997 $aUNINA LEADER 04154nam 22006735 450 001 9910156338503321 005 20200702215056.0 010 $a9783319465746 024 7 $a10.1007/978-3-319-46574-6 035 $a(CKB)3710000000984038 035 $a(DE-He213)978-3-319-46574-6 035 $a(MiAaPQ)EBC4772436 035 $a(PPN)19745612X 035 $a(EXLCZ)993710000000984038 100 $a20161220d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOptimal Trajectory Tracking of Nonlinear Dynamical Systems /$fby Jakob Löber 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 243 p. 36 illus., 32 illus. in color.) 225 1 $aSpringer Theses, Recognizing Outstanding Ph.D. Research,$x2190-5053 311 $a3-319-46573-2 311 $a3-319-46574-0 327 $aIntroduction -- Exactly Realizable Trajectories -- Optimal Control -- Analytical Approximations for Optimal Trajectory Tracking -- Control of Reaction-Di?usion System. 330 $aBy establishing an alternative foundation of control theory, this thesis represents a significant advance in the theory of control systems, of interest to a broad range of scientists and engineers. While common control strategies for dynamical systems center on the system state as the object to be controlled, the approach developed here focuses on the state trajectory. The concept of precisely realizable trajectories identifies those trajectories that can be accurately achieved by applying appropriate control signals. The resulting simple expressions for the control signal lend themselves to immediate application in science and technology. The approach permits the generalization of many well-known results from the control theory of linear systems, e.g. the Kalman rank condition to nonlinear systems. The relationship between controllability, optimal control and trajectory tracking are clarified. Furthermore, the existence of linear structures underlying nonlinear optimal control is revealed, enabling the derivation of exact analytical solutions to an entire class of nonlinear optimal trajectory tracking problems. The clear and self-contained presentation focuses on a general and mathematically rigorous analysis of controlled dynamical systems. The concepts developed are visualized with the help of particular dynamical systems motivated by physics and chemistry. 410 0$aSpringer Theses, Recognizing Outstanding Ph.D. Research,$x2190-5053 606 $aStatistical physics 606 $aCalculus of variations 606 $aVibration 606 $aDynamics 606 $aDynamics 606 $aErgodic theory 606 $aApplications of Nonlinear Dynamics and Chaos Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/P33020 606 $aCalculus of Variations and Optimal Control; Optimization$3https://scigraph.springernature.com/ontologies/product-market-codes/M26016 606 $aVibration, Dynamical Systems, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/T15036 606 $aDynamical Systems and Ergodic Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M1204X 615 0$aStatistical physics. 615 0$aCalculus of variations. 615 0$aVibration. 615 0$aDynamics. 615 0$aDynamics. 615 0$aErgodic theory. 615 14$aApplications of Nonlinear Dynamics and Chaos Theory. 615 24$aCalculus of Variations and Optimal Control; Optimization. 615 24$aVibration, Dynamical Systems, Control. 615 24$aDynamical Systems and Ergodic Theory. 676 $a531.11 700 $aLöber$b Jakob$4aut$4http://id.loc.gov/vocabulary/relators/aut$0823585 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910156338503321 996 $aOptimal Trajectory Tracking of Nonlinear Dynamical Systems$91832674 997 $aUNINA