Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Front Matter....Pages -
Applications of MetiTarski in the Verification of Control and Hybrid Systems....Pages 1-15
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach....Pages 16-30
Safe and Secure Networked Control Systems under Denial-of-Service Attacks....Pages 31-45
Actors without Directors: A Kahnian View of Heterogeneous Systems....Pages 46-60
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection....Pages 61-75
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks....Pages 76-89
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study....Pages 90-104
Local Identification of Piecewise Deterministic Models of Genetic Networks....Pages 105-119
Distributed Wombling by Robotic Sensor Networks....Pages 120-134
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces....Pages 135-149
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach....Pages 150-164
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models....Pages 165-179
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem....Pages 180-193
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More....Pages 194-208
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions....Pages 209-222
Trajectory Based Verification Using Local Finite-Time Invariance....Pages 223-236
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program....Pages 237-251
Uniform Consensus among Self-driven Particles....Pages 252-261
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes....Pages 262-275
Decompositional Construction of Lyapunov Functions for Hybrid Systems....Pages 276-290
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems....Pages 291-305
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems....Pages 306-320
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management....Pages 321-335
On Event Based State Estimation....Pages 336-350
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer....Pages 351-365
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays....Pages 366-380
Specification and Analysis of Network Resource Requirements of Control Systems....Pages 381-395
Periodically Controlled Hybrid Systems....Pages 396-410
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach....Pages 411-425
Bounded and Unbounded Safety Verification Using Bisimulation Metrics....Pages 426-440
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers....Pages 441-444
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems....Pages 445-449
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata....Pages 450-454
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract)....Pages 455-459
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting....Pages 460-464
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets....Pages 465-469
Distributed Tree Rearrangements for Reachability and Robust Connectivity....Pages 470-474
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters....Pages 475-479
STORMED Hybrid Games....Pages 480-484
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment....Pages 485-489
Back Matter....Pages -