LEADER 05668nam 22007215 450 001 996465819203316 005 20230405232129.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(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$b[electronic resource] $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 $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 Hybrid Automata -- 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!. 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 702 $aHespanha$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTiwari$b Ashish$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aHSCC (Conference) 906 $aBOOK 912 $a996465819203316 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNISA LEADER 01152nam0 22002891i 450 001 RML0304681 005 20231121125747.0 100 $a20121121d1964 ||||0itac50 ba 101 | $aeng 102 $agb 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aJulius Caesar$fWilliam Shakespeare$gEdited by T. S. Dorsch 210 $aLondon $cMethuen & Co LTD $d©1964 215 $aLXXIV,166 p.$d21 cm 225 | $a˜The œarden edition of the works of William Shakespeare. - London $eMethen & Co LTD 410 0$1001RML0333083$12001 $a˜The œarden edition of the works of William Shakespeare. - London $eMethen & Co LTD 700 1$aShakespeare$b, William$3RMLV160972$0132200 702 1$aDorsch$b, T.S.$3RMLV193126 801 3$aIT$bIT-01$c20121121 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aRML0304681 950 0$aBiblioteca umanistica Giorgio Aprea$d 52CIS 12/156$e 52VM 0000747095 VM barcode:00066030. - Inventario:3941 MAGVM$fA $h20080514$i20121204 977 $a 52 996 $aJulius Caesar$914813 997 $aUNICAS LEADER 00930nam0 22002651i 450 001 RML0257511 005 20231121125716.0 010 $a8814030456 100 $a20121121d1991 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜Le œassicurazioni marittime dei rischi di guerra 210 $aMilano $cGiuffre' $d1991 606 $aDiritto civile$2FIR$3RMLC064440$9I 700 1$aBalestra$b, Nicola$3RMLV165494$0231085 801 3$aIT$bIT-01$c20121121 850 $aIT-FR0098 899 $aBiblioteca Area Giuridico Economica$bFR0098 912 $aRML0257511 950 0$aBiblioteca Area Giuridico Economica$d 53DSG 11/0325$e 53VM 0000284585 VM barcode:GIU0006515. - Inventario:9927VM$fA $h20010423$i20121204 977 $a 53 996 $aAssicurazioni marittime dei rischi di guerra$963919 997 $aUNICAS