LEADER 06247nam 22007935 450 001 9910483830503321 005 20251226203620.0 010 $a3-540-33171-9 024 7 $a10.1007/11730637 035 $a(CKB)1000000000232897 035 $a(SSID)ssj0000318182 035 $a(PQKBManifestationID)11923580 035 $a(PQKBTitleCode)TC0000318182 035 $a(PQKBWorkID)10308718 035 $a(PQKB)11695961 035 $a(DE-He213)978-3-540-33171-1 035 $a(MiAaPQ)EBC3067515 035 $a(PPN)123132924 035 $a(BIP)32374935 035 $a(BIP)13313436 035 $a(EXLCZ)991000000000232897 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems: Computation and Control $e9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /$fedited by Joao Hespanha, Ashish Tiwari 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 584 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3927 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-33170-0 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Motion Coordination for Multi-agent Networks -- Towards a Third Generation of Control Systems -- Hybrid Systems?And Everything Else -- Regular Papers -- Behavioural Approximations for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems -- On the Stability of Zeno Equilibria -- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid Modelling and Control of the Common Rail Injection System -- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A Lattice Theory for Solving Games of Imperfect Information -- Observability of Hybrid Automata by Abstraction -- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks -- Decision Problems for the Verification of Real-Time Software -- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control -- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition -- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective -- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation -- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes -- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints -- Approximate Abstraction of Stochastic HybridAutomata -- A Fully Automated Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine Systems -- Approximation, Sampling and Voting in Hybrid Computing Systems -- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems -- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems -- Estimation and Conflict Detection in Human Controlled Systems -- Stability Analysis of Hybrid Systems Via Small-Gain Theorems -- Stochastic Hybrid Delay Population Dynamics -- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback -- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems -- Verifying Average Dwell Time by Solving Optimization Problems -- Interchange Format for Hybrid Systems: Abstract Semantics -- Model Checking of Hybrid Systems: From Reachability Towards Stability -- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems -- Fixed Point Iteration for Computing the Time Elapse Operator -- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks -- Beyond Zeno: Get on with It!. 330 $aThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3927 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 701 $aHespanha$b Joa?o P$0749664 701 $aTiwari$b Ashish$f1973-$01758194 712 12$aHSCC (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483830503321 996 $aHybrid Systems: Computation and Control$94523007 997 $aUNINA