LEADER 03978nam 2200661 a 450 001 9911006620003321 005 20200520144314.0 010 $a1-107-20865-3 010 $a0-511-63689-X 010 $a0-511-64178-8 010 $a0-511-63934-1 010 $a0-511-63827-2 010 $a0-511-63758-6 010 $a0-511-80793-7 010 $a0-511-64042-0 035 $a(CKB)1000000000811438 035 $a(EBL)464862 035 $a(OCoLC)670432945 035 $a(SSID)ssj0000338431 035 $a(PQKBManifestationID)11265517 035 $a(PQKBTitleCode)TC0000338431 035 $a(PQKBWorkID)10297116 035 $a(PQKB)11178627 035 $a(UkCbUP)CR9780511807930 035 $a(MiAaPQ)EBC464862 035 $a(PPN)261290959 035 $a(EXLCZ)991000000000811438 100 $a20090821d2009 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aHandbook of hybrid systems control $etheory, tools, applications /$fedited by Jan Lunze, Francoise Lamnabhi-Lagarrigue 210 $aCambridge, UK ;$aNew York $cCambridge University Press$d2009 215 $a1 online resource (xv, 565 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-76505-6 320 $aIncludes bibliographical references and index. 327 $aCover; Half-title; Title; Copyright; Content; List of contributors; Preface; Notation; Part I Theory; 1 Introduction to hybrid systems; 2 Survey of modeling, analysis, and control of hybrid systems; 3 Hybrid automata; 4 Switched and piecewise affine systems; 5 Further switched systems; 6 Hybrid systems: quantization and abstraction; 7 Stochastic hybrid systems; Part II Tools; 8 Overview of tools development and open problems; 9 Verification tools for linear hybrid automata; 10 Tools for modeling, simulation, control, and verification of piecewise affine systems 327 $a11 Modeling, simulation, and optimization environments12 Interchange formats and tool integration; Part III Applications; 13 Energy management; 14 Industrial controls; 15 Automotive control; 16 Networked control; 17 Solar air conditioning - a benchmark for hybrid systems control; References; Index 330 $aSetting out core theory and reviewing a range of new methods, theoretical problems and applications, this handbook shows how hybrid dynamical systems can be modelled and understood. Sixty expert authors involved in the recent research activities and industrial application studies provide practical insights on topics ranging from the theoretical investigations over computer-aided design to applications in energy management and the process industry. Structured into three parts, the book opens with a thorough introduction to hybrid systems theory, illustrating new dynamical phenomena through numerous examples. Part II then provides a survey of key tools and tool integration activities. Finally, Part III is dedicated to applications, implementation issues and system integration, considering different domains such as industrial control, automotive systems and digital networks. Three running examples are referred to throughout the book, together with numerous illustrations, helping both researchers and industry professionals to understand complex theory, recognise problems and find appropriate solutions. 606 $aSystem theory 606 $aHybrid systems 606 $aControl theory 615 0$aSystem theory. 615 0$aHybrid systems. 615 0$aControl theory. 676 $a003/.85 701 $aLunze$b Jan$f1942-$01756681 701 $aLamnabhi-Lagarrigue$b F$g(Francoise),$f1953-$01825306 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911006620003321 996 $aHandbook of hybrid systems control$94392850 997 $aUNINA