Hybrid Systems: Computation and Control: 10th International Workshop, Hscc 2007, Pisa, Italy, April 3-5, 2007, Proceedings (Paperback, 2007)

Keynote Speeches.- Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems.- Control Challenges in Wireless Sensor Networks.- The Challenges of Embedded Systems Engineering.- Regular Papers.- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.- Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries.- Minimum Time for a Hybrid System with Thermostatic Switchings.- Complexity Reduction for the Design of Interacting Controllers.- Model Checking Genetic Regulatory Networks with Parameter Uncertainty.- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems.- Symbolic Analysis for GSMP Models with One Stateful Clock.- Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.- Optimal Switching of 1-DOF Oscillating Systems.- Feedback Scheduling for Pipelines of Tasks.- On Simulations and Bisimulations of General Flow Systems.- A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems.- Systematic Simulation Using Sensitivity Analysis.- Motion Programs for Puppet Choreography and Control.- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.- Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems.- Approximately Bisimilar Finite Abstractions of Stable Linear Systems.- Learning Cycle-Linear Hybrid Automata for Excitable Cells.- Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application.- A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems.- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.- Sporadic Control of First-Order Linear Stochastic Systems.- Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks.- Robust Test Generation and Coverage for Hybrid Systems.- Minimalilty of Finite Automata Representation in Hybrid Systems Control.- Hybrid Control and Verification of a Pulsed Welding Process.- On Self-triggered Full-Information H-Infinity Controllers.- Impulse Differential Inclusions Driven by Discrete Measures.- CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.- Solving Coverage Problems with Embedded Graph Grammars.- Comparing Forward and Backward Reachability as Tools for Safety Analysis.- Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares.- Metrics and Topology for Nonlinear and Hybrid Systems.- The Image Computation Problem in Hybrid Systems Model Checking.- A New Hybrid State Estimator for Systems with Limited Mode Changes.- Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems.- Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces.- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.- Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.- Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.- Rate Admission Control for Hard Real-Time Task Scheduling.- Foundations of a Compositional Interchange Format for Hybrid Systems.- Automata Based Interfaces for Control and Scheduling.- Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems.- Short Papers.- The Concept of Deadlock and Livelock in Hybrid Control Systems.- Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems.- Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems.- Optimal Switches in Multi-inventory Systems.- Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation.- A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems.- A Hybrid Bellman Equation for Bimodal Systems.- Networks of Hybrid Systems: Connections Faults Modelling and Detection.- Sw