Hybrid Systems: Computation and Control

Regular 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