LEADER 07308nam 22007935 450 001 996465950603316 005 20200702123427.0 010 $a3-540-45351-2 024 7 $a10.1007/3-540-45351-2 035 $a(CKB)1000000000211476 035 $a(SSID)ssj0000323867 035 $a(PQKBManifestationID)11237083 035 $a(PQKBTitleCode)TC0000323867 035 $a(PQKBWorkID)10304190 035 $a(PQKB)10226388 035 $a(DE-He213)978-3-540-45351-2 035 $a(MiAaPQ)EBC3071958 035 $a(PPN)155168819 035 $a(EXLCZ)991000000000211476 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems: Computation and Control$b[electronic resource] $e4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /$fedited by Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XIV, 516 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2034 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41866-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aControl as an Embedded Technology -- Optimisation of Hybrid Processes and Hybrid Controllers -- Embedded Software and Systems: Challenges and Approaches -- Hybrid Systems Applications: An Oxymoron? -- Design of Luenberger Observers for a Class of Hybrid Linear Systems -- Hybrid Modeling and Simulation of Biomolecular Networks -- Compositional Refinement for Hierarchical Hybrid Systems -- Optimal Paths in Weighted Timed Automata -- Reach Set Computations Using Real Quantifier Elimination -- On Hybrid Control of Under-Actuated Mechanical Systems -- On the Decidability of the Reachability Problem for Planar Differential Inclusions -- The Substratum of Impulse and Hybrid Control Systems -- Path-Dependent Impulse and Hybrid Systems -- Hybrid Feedback Control for Path Tracking by a Bounded?Curbature Vehicle -- Minimum-Cost Reachability for Priced Time Automata -- A Hybrid Approach to Traction Control -- Optimal Control Using Bisimulations: Implementation -- A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems -- Accurate Event Detection for Simulating Hybrid Systems -- A Clustering Technique for the Identification of Piecewise Affine systems -- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model -- Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis -- Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles -- Assume-Guarantee Reasoning for Hierarchical Hybrid Systems -- Hybrid Modeling of TCP Congestion Control -- Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem -- Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers -- Mode Switching Synthesis for Reachability Specifications -- Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions -- On a Novel Class of Bifurcations in Hybrid Dynamical Systems -- Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings -- Modeling of Continuous-Discrete Processes -- Hybrid I/O Automata Revisited -- Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets -- Robust Controller Synthesis for Hybrid Systems Using Modal Logic -- Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality -- Addressing Multiobjective Control: Safety and Performance through Constrained Optimization -- Representation of Quantised Systems by the Frobenius-Perron Operator -- Semi-de1cidable Synthesis for Triangular Hybrid Systems -- Hybrid Abstractions that Preserve Timed Languages. 330 $aThis volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART?97), Berkeley, California, USA (HSCC?98), N- megen, The Netherlands (HSCC?99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2034 606 $aSoftware engineering 606 $aComputers 606 $aComputer hardware 606 $aComputer logic 606 $aSpecial purpose computers 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer hardware. 615 0$aComputer logic. 615 0$aSpecial purpose computers. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aComputer Hardware. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.19 702 $aDi Benedetto$b Maria D$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSangiovanni-Vincentelli$b Alberto L$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aHSCC (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465950603316 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNISA LEADER 00657cam1 2200205 450 001 E600200043552 005 20220701090231.0 100 $a20081223g00009999|||||ita|0103 ba 101 $aita 102 $aIT 200 1 $aEdizione nazionale delle opere di Giovan Battista della Porta 210 $aNapoli$aRoma$cEdizioni Scientifiche Italiane 215 $av.$d23 cm 700 1$adella Porta$b, Giovan Battista$3A600200044808$4070$071756 801 0$aIT$bUNISOB$c20220701$gRICA 912 $aE600200043552 940 $aM 102 Monografia moderna SBN 941 $aM 996 $aEdizione nazionale delle opere di Giovan Battista Della Porta$9886913 997 $aUNISOB