LEADER 05799nam 22007335 450 001 996465688803316 005 20230222181632.0 024 7 $a10.1007/b106766 035 $a(CKB)1000000000212868 035 $a(SSID)ssj0000318181 035 $a(PQKBManifestationID)11266622 035 $a(PQKBTitleCode)TC0000318181 035 $a(PQKBWorkID)10308457 035 $a(PQKB)11589717 035 $a(DE-He213)978-3-540-31954-2 035 $a(MiAaPQ)EBC3067994 035 $a(PPN)123092728 035 $a(EXLCZ)991000000000212868 100 $a20110116d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems: Computation and Control$b[electronic resource] $e8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /$fedited by Manfred Morari, Lothar Thiele, Francesca Rossi 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 684 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3414 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31954-9 311 $a3-540-25108-1 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete?Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal?Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3414 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 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 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$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.0151 702 $aMorari$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThiele$b Lothar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRossi$b Francesca$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aHSCC (Conference) 906 $aBOOK 912 $a996465688803316 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNISA