000 06381nam a22006375i 4500
001 978-3-642-00602-9
003 DE-He213
005 20240730191020.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642006029
_9978-3-642-00602-9
024 7 _a10.1007/978-3-642-00602-9
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aHybrid Systems: Computation and Control
_h[electronic resource] :
_b12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings /
_cedited by Rupak Majumdar, Paulo Tabuada.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXIV, 492 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5469
505 0 _aRegular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application toHybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
520 _aThis book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.
650 0 _aComputer networks .
_931572
650 0 _aComputer systems.
_9144859
650 0 _aSoftware engineering.
_94138
650 0 _aComputers, Special purpose.
_946653
650 0 _aMicroprocessors.
_9144860
650 0 _aComputer architecture.
_93513
650 0 _aComputer science.
_99832
650 1 4 _aComputer Communication Networks.
_9144861
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aProcessor Architectures.
_9144862
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aMajumdar, Rupak.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144863
700 1 _aTabuada, Paulo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144864
710 2 _aSpringerLink (Online service)
_9144865
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642006012
776 0 8 _iPrinted edition:
_z9783642006036
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5469
_9144866
856 4 0 _uhttps://doi.org/10.1007/978-3-642-00602-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93575
_d93575