LEADER 03279nam 22007934a 450 001 9910958715803321 005 20251116145733.0 010 $a9786612762772 010 $a9781598750157 010 $a1598750151 010 $a9780520936652 010 $a0520936655 010 $a9781282762770 010 $a128276277X 024 7 $a10.1525/9780520936652 035 $a(CKB)1000000000008709 035 $a(EBL)224276 035 $a(OCoLC)475930404 035 $a(SSID)ssj0000274188 035 $a(PQKBManifestationID)11220259 035 $a(PQKBTitleCode)TC0000274188 035 $a(PQKBWorkID)10341572 035 $a(PQKB)11582325 035 $a(MiAaPQ)EBC224276 035 $a(OCoLC)52842809 035 $a(MdBmJHUP)muse30543 035 $a(DE-B1597)520019 035 $a(DE-B1597)9780520936652 035 $a(Au-PeEL)EBL224276 035 $a(CaPaEBR)ebr10048981 035 $a(CaONFJC)MIL276277 035 $a(Perlego)550597 035 $a(EXLCZ)991000000000008709 100 $a20020410d2003 ub 0 101 0 $aeng 135 $aurun#---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aWorking-class heroes $eprotecting home, community, and nation in a Chicago neighborhood /$fMaria Kefalas 205 $a1st ed. 210 $aBerkeley $cUniversity of California Press$dc2003 215 $a1 online resource (218 p.) 300 $aDescription based upon print version of record. 311 0 $a9780520227873 311 0 $a0520227875 311 0 $a9780520235434 311 0 $a0520235436 320 $aIncludes bibliographical references (p. 181-194) and index. 327 $tFront matter --$tCONTENTS --$tMAPS AND TABLES --$tACKNOWLEDGMENTS --$tINTRODUCTION. In Search of Working-Class Chicago --$tONE. Rethinking Race in the Ethnic White Enclave --$tTWO. A Precious Corner of the World --$tTHREE. Home, Sweet Home --$tFOUR. For Country and Home --$tCONCLUSION. The Last Garden --$tAppendix: In the Field --$tNotes --$tBIBLIOGRAPHY --$tINDEX 330 $aChicago's Southwest Side is one of the last remaining footholds for the city's white working class, a little-studied and little-understood segment of the American population. This book paints a nuanced and complex portrait of the firefighters, police officers, stay-at-home mothers, and office workers living in the stable working-class community known as Beltway. Building on the classic Chicago School of urban studies and incorporating new perspectives from cultural geography and sociology, Maria Kefalas considers the significance of home, community, and nation for Beltway residents. 606 $aWorking class$zIllinois$zChicago 606 $aSociology, Urban$zIllinois$zChicago 606 $aSocial values$zIllinois$zChicago 607 $aChicago (Ill.)$xSocial conditions 607 $aChicago (Ill.)$xRace relations 607 $aBeltway (Chicago, Ill.) 615 0$aWorking class 615 0$aSociology, Urban 615 0$aSocial values 676 $a306/.09773/11 700 $aKefalas$b Maria J.$f1967-$01870218 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910958715803321 996 $aWorking-class heroes$94478600 997 $aUNINA LEADER 09133nam 22007935 450 001 9910483182003321 005 20251226195353.0 010 $a3-540-78929-4 024 7 $a10.1007/978-3-540-78929-1 035 $a(CKB)1000000000490658 035 $a(SSID)ssj0000318179 035 $a(PQKBManifestationID)11266621 035 $a(PQKBTitleCode)TC0000318179 035 $a(PQKBWorkID)10308787 035 $a(PQKB)10999594 035 $a(DE-He213)978-3-540-78929-1 035 $a(MiAaPQ)EBC3063057 035 $a(MiAaPQ)EBC6698694 035 $a(Au-PeEL)EBL6698694 035 $a(PPN)127055630 035 $a(EXLCZ)991000000000490658 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems: Computation and Control $e11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /$fedited by Magnus Egerstedt, Bud Mishra 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XV, 684 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4981 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-78928-6 320 $aIncludes bibliographical references and index. 327 $aRegular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation Tools for Networked Control Systems -- On the Maximum Principle for Impulsive Hybrid Systems -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System -- Controller Synthesis with Budget Constraints -- Trading Infinite Memory for Uniform Randomness in Timed Games -- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components -- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions -- A Control Lyapunov Approach to Predictive Control of Hybrid Systems -- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems -- Anytime Control Algorithms for Embedded Real-Time Systems -- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems -- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata -- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems -- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes -- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains -- Observer-Based Control of Linear Complementarity Systems -- Complementarity Systems in Constrained Steady-State Optimal Control -- Dealing with Nondeterminism in Symbolic Control -- Safety and Liveness in Intelligent Intersections -- LTLC: Linear Temporal Logic for Control -- Switched and PieceWise Nonlinear Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity and Merging -- Optimotaxis: A Stochastic Multi-agent OptimizationProcedure with Point Measurements -- Noncausal Optimal Tracking of Linear Switched Systems -- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems -- A Decidable Class of Planar Linear Hybrid Systems -- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions in Analysis of Graph Models of Software -- On the Optimality of Dubins Paths across Heterogeneous Terrain -- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems -- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata -- Input-to-State Stabilization with Quantized Output Feedback -- Bisimilar Finite Abstractions of Interconnected Systems -- On Controllability of Timed Continuous Petri Nets -- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications -- Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems -- Composition of Motion Description Languages -- On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems -- Short Papers -- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps -- On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries -- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems -- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata -- Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems -- Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time -- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics -- Approximate Control Design for Solar Driven Sensor Nodes -- Modular Development of Hybrid Systems for Verification in Coq -- Steering a Leader-Follower Team Via Linear Consensus -- Logical Verification and Systematic Parametric Analysis in Train Control -- Information Theoretical Approach to Identification of Hybrid Systems -- A Policy Iteration Technique for Time Elapse over Template Polyhedra -- Generating Box Invariants -- Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles -- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates -- On the Timing of Discrete Events in Event-Driven Control Systems -- Decentralized Event-Triggered Broadcasts over Networked Control Systems. 330 $aThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22?24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) ? a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society andorganized in cooperation with ACM/SIGBED. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4981 606 $aComputer science 606 $aComputers, Special purpose 606 $aMicroprocessors 606 $aComputer architecture 606 $aSoftware engineering 606 $aTheory of Computation 606 $aSpecial Purpose and Application-Based Systems 606 $aProcessor Architectures 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProcessor Architectures. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a004.1/9 702 $aEgerstedt$b Magnus 702 $aMishra$b Bhubaneswar$f1958- 712 12$aHSCC (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483182003321 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNINA