LEADER 00867nam0-22003011i-450- 001 990000110650403321 035 $a000011065 035 $aFED01000011065 035 $a(Aleph)000011065FED01 035 $a000011065 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>systemes axiomatiques de la theorie des ensembles$fHao Wang , Robert Naughton. 210 $aParis$cGauthier-Villars$eLouvain$cE. Nauwelaerts$d1953 215 $a54 p.$d25 cm 225 1 $aCollection de logique mathématique$iSérie A$v4 610 0 $aInsiemi$aTeoria 676 $a511.32 700 1$aWang,$bHao 702 1$aNaughton,$bRobert 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000110650403321 952 $a13 K 12 05$b20869$fFINBC 959 $aFINBC 997 $aUNINA DB $aING01 LEADER 00934nam a2200229 i 4500 001 991003460019707536 008 180213s1990 us b 001 0 eng d 020 $a0801848474 035 $ab14336741-39ule_inst 040 $aDip. di Studi Umanistici$bita 100 1 $aNagy, Gregory$0169582 245 10$aPindar's Homer :$bthe lyric possession of an epic past /$cGregory Nagy 264 1$aBaltimore :$bJohns Hopkins University Press,$cc1990 300 $aVIII, 523 p. ;$c24 cm 500 $a"The Mary Flexner lectures, 1982, Bryn Mawr College." 504 $aBibliografia: p. [465]-493. Indice 907 $a.b14336741$b13-02-18$c13-02-18 912 $a991003460019707536 945 $aLE007 880.1 Pindarus NAG 01.501$g1$i2007000029916$lle007$nLE007 2018 Pregresso$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15834827$z13-02-18 996 $aPindar's Homer$91115029 997 $aUNISALENTO 998 $ale007$b13-02-18$cm$da $e-$feng$gus $h0$i0 LEADER 04380nam 2200697 a 450 001 9910139035503321 005 20230707202325.0 010 $a1-118-79162-2 010 $a1-118-79148-7 010 $a1-118-79145-2 035 $a(CKB)2550000001111879 035 $a(EBL)1441766 035 $a(OCoLC)857662917 035 $a(SSID)ssj0001034935 035 $a(PQKBManifestationID)11562950 035 $a(PQKBTitleCode)TC0001034935 035 $a(PQKBWorkID)11016785 035 $a(PQKB)10675660 035 $a(MiAaPQ)EBC1441766 035 $a(Au-PeEL)EBL1441766 035 $a(CaPaEBR)ebr10748682 035 $a(CaONFJC)MIL511771 035 $a(PPN)185469310 035 $a(EXLCZ)992550000001111879 100 $a20130829d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aControl of switching systems by invariance analysis$b[electronic resource] $eapplication to power electronics /$fLaurent Fribourg, Romain Soulat 210 $aLondon $cISTE$d2013 215 $a1 online resource (146 p.) 225 0 $aFOCUS series,$x2051-2481 300 $a"FOCUS systems engineering series"--Cover. 311 $a1-84821-606-8 311 $a1-299-80520-5 320 $aIncludes bibliographical references and index. 327 $aCover; Title Page; Contents; Preface; Acknowledgments; Introduction; Chapter 1. Control Theory: Basic Concepts; 1.1. Model of control systems; 1.2. Digital control systems; 1.2.1. Digitization; 1.2.2. Quantization; 1.2.3. Switching; 1.3. Control of switched systems using invariant sets; 1.3.1. Controlled invariants; 1.3.2. Safety control problem; 1.3.3. Stability control problem; 1.3.4. Other controllers; 1.4. Notes; Chapter 2. Sampled Switched Systems; 2.1. Model; 2.2. Illustrative examples; 2.3. Zonotopes; 2.4. Notes; Chapter 3. Safety Controllers 327 $a3.1. Backward fixed point computation (direct approach)3.2. Approximate bisimulation (indirect approach); 3.3. Application to a three-cell Boost DC-DC converter; 3.3.1. Model; 3.3.2. Direct method; 3.3.3. Indirect method; 3.4. Notes; Chapter 4. Stability Controllers; 4.1. Motivation; 4.2. Preliminaries; 4.2.1. Control induced by the decomposition; 4.3. Decomposition function; 4.3.1. Basic procedure; 4.3.2. Enhancement for safety; 4.4. Limit cycles; 4.4.1. Discussion of the assumptions H1 and H2; 4.4.2. Illustrative examples; 4.5. Implementation; 4.6. Notes 327 $aChapter 5. Application to Multilevel Converters5.1. Multilevel converters; 5.2. Application of the decomposition procedure; 5.2.1. Five-level converter; 5.2.2. Seven-level converter; 5.3. Physical experimentations; 5.4. Notes; Chapter 6. Other Issues: Reachability, Sensitivity, Robustness and Nonlinearity; 6.1. Reachability control; 6.2. Sensitivity; 6.3. Robust safety control; 6.4. Nonlinearity; 6.5. Notes; Conclusions and Perspectives; Appendix 1. Sufficient Condition of Decomposition; Appendix 2. Applications of the Enhanced Decomposition Procedure; Appendix 3. Proof of Theorem 4.3 330 $aThis book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical industries; in power electronics and the automotive industry, for example. This is due to their flexibility and simplicity in accurately controlling industrial mechanisms. By adopting appropriate control rules, we can steer a switching system to a region centered at a desired equilibrium point, while avoiding "unsafe" regions of parameter saturation.The authors explain various correct-by- 410 0$aFocus series (London, England). 410 0$aFocus series in systems engineering. 606 $aSwitching circuits 606 $aSystem analysis 606 $aPower electronics 615 0$aSwitching circuits. 615 0$aSystem analysis. 615 0$aPower electronics. 676 $a621.381537 700 $aFribourg$b Laurent$0906321 701 $aSoulat$b Romain$0906322 712 02$aInternational Society for Technology in Education. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910139035503321 996 $aControl of switching systems by invariance analysis$92026919 997 $aUNINA