LEADER 07713nam 22008295 450 001 9910143887803321 005 20251116234314.0 010 $a9783540365808 010 $a354036580X 024 7 $a10.1007/3-540-36580-X 035 $a(CKB)1000000000211953 035 $a(SSID)ssj0000323868 035 $a(PQKBManifestationID)11237084 035 $a(PQKBTitleCode)TC0000323868 035 $a(PQKBWorkID)10304161 035 $a(PQKB)11212433 035 $a(DE-He213)978-3-540-36580-8 035 $a(MiAaPQ)EBC3072355 035 $a(PPN)155231375 035 $a(EXLCZ)991000000000211953 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems: Computation and Control $e6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /$fedited by Freek Wiedijk, Oded Maler, Amir Pnueli 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XII, 564 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2623 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783540009139 311 08$a3540009132 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aAbstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. 330 $aThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3?5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART?97), Berkeley, California, USA (HSCC?98), Nijmegen, The Neth- lands (HSCC?99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2623 606 $aComputers 606 $aComputers, Special purpose 606 $aMicroprocessors 606 $aSoftware engineering 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aComputers, Special purpose. 615 0$aMicroprocessors. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProcessor Architectures. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aLogics and Meanings of Programs. 676 $a004.1/9 702 $aWiedijk$b Freek$f1961-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaler$b O$g(Oded),$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPnueli$b Amir$f1941-2009,$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aHSCC (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143887803321 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNINA