## Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, ProceedingsThis book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics. |

### What people are saying - Write a review

User Review - Flag as inappropriate

restitution curve

### Contents

From Sensor Webs to CyberPhysical Systems | 1 |

Control Challenges in Wireless Sensor Networks | 2 |

The Challenges of Embedded Systems Engineering | 3 |

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems | 4 |

Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries | 18 |

Minimum Time for a Hybrid System with Thermostatic Switchings | 32 |

Complexity Reduction for the Design of Interacting Controllers | 46 |

Model Checking Genetic Regulatory Networks with Parameter Uncertainty | 61 |

Rate Admission Control for Hard RealTime Task Scheduling | 573 |

Foundations of a Compositional Interchange Format for Hybrid Systems | 587 |

Automata Based Interfaces for Control and Scheduling | 601 |

Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems | 614 |

The Concept of Deadlock and Livelock in Hybrid Control Systems | 628 |

Reachability Algorithm for Biological PiecewiseAffine Hybrid Systems | 633 |

Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems | 637 |

Optimal Switches in Multiinventory Systems | 641 |

A Reachability Algorithm for Multiaffine Systems with Applications to Biological Systems | 76 |

Symbolic Analysis for GSMP Models with One Stateful Clock | 90 |

Robust Optimal Predictive Control of Jump Markov Linear Systems Using Particles | 104 |

Optimal Switching of 1DOF Oscillating Systems | 118 |

Feedback Scheduling for Pipelines of Tasks | 131 |

On Simulations and Bisimulations of General Flow Systems | 145 |

A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems | 159 |

Systematic Simulation Using Sensitivity Analysis | 174 |

Motion Programs for Puppet Choreography and Control | 190 |

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications | 203 |

Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems | 217 |

Approximately Bisimilar Finite Abstractions of Stable Linear Systems | 231 |

Learning CycleLinear Hybrid Automata for Excitable Cells | 245 |

InputtoState Stability of Discontinuous Dynamical Systems with an ObserverBased Control Application | 259 |

A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems | 273 |

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction | 287 |

Sporadic Control of FirstOrder Linear Stochastic Systems | 301 |

PriceBased Optimal Control of Power Flow in Electrical Energy Transmission Networks | 315 |

Robust Test Generation and Coverage for Hybrid Systems | 329 |

Minimalilty of Finite Automata Representation in Hybrid Systems Control | 343 |

Hybrid Control and Verification of a Pulsed Welding Process | 357 |

On Selftriggered FullInformation HInﬁnity Controllers | 371 |

Impulse Differential Inclusions Driven by Discrete Measures | 385 |

CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems | 399 |

Solving Coverage Problems with Embedded Graph Grammars | 413 |

Comparing Forward and Backward Reachability as Tools for Safety Analysis | 428 |

Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares | 444 |

Metrics and Topology for Nonlinear and Hybrid Systems | 459 |

The Image Computation Problem in Hybrid Systems Model Checking | 473 |

A New Hybrid State Estimator for Systems with Limited Mode Changes | 487 |

Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems | 501 |

Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces | 515 |

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems | 529 |

Finite State Controllers for Stabilizing Switched Systems with Binary Sensors | 543 |

A Reﬁnement Approach | 557 |

ViabilityBased Computations of Solutions to the HamiltonJacobiBellman Equation | 645 |

A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems | 650 |

A Hybrid Bellman Equation for Bimodal Systems | 656 |

Connections Faults Modelling and Detection | 660 |

SwitchingBased Lyapunov Function and the Stabilization of a Class of Nonholonomic Systems | 664 |

Composing Semialgebraic OMinimal Automata | 668 |

A Hybrid Model for Subliminal Air Traffic Control | 672 |

On Bicontinuous Bisimulation and the Preservation of Stability | 676 |

Efficient Simulation of ComponentBased Hybrid Models Represented as Hybrid Bond Graphs | 680 |

Diagnosability Verification for Hybrid Automata | 684 |

Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models | 688 |

The Case of lac Operon in E Coli | 693 |

Reachability Analysis of a Switched Buffer Network | 698 |

Composition of Dynamical Systems for Estimation of Human Body Dynamics | 702 |

Computation in OneDimensional Piecewise Maps | 706 |

Reviewing Basic Control Models | 710 |

TraceBased Semantics for Probabilistic Timed IO Automata | 718 |

Asymptotic Stability of Switched Higher Order Laplacians | 723 |

Qualitative Analysis of Nonlinear Biochemical Networks with PiecewiseAffine Functions | 727 |

Guided Randomized Simulation | 731 |

Controller Parameters Selection Through Bifurcation Analysis in a PiecewiseSmooth System | 736 |

Fully Automated Stability Verification for Piecewise Affine Systems | 741 |

Differential Logic for Reasoning About Hybrid Systems | 746 |

A Sound and Complete Proof Rule for Region Stability of Hybrid Systems | 750 |

Switch Detection in Genetic Regulatory Networks | 754 |

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems | 758 |

Case Studies in EventDriven Control | 762 |

Hybrid Estimation for Stochastic Piecewise Linear Systems | 766 |

OnLine Optimization of SwitchedMode Hybrid Dynamical Systems | 771 |

State Nullification of Switched Systems by Linear Output Feedback | 775 |

A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant | 783 |

Distributed Hybrid Control for MultiplePursuer MultipleEvader Games | 787 |

A Controller Design Method Under Infrequent Asynchronous Sensing | 790 |

795 | |

### Other editions - View all

### Common terms and phrases

abstraction aircraft algorithm analysis application approach approximation automaton behavior Bemporad Berlin Heidelberg 2007 Bicchi bisimulation bounded Buttazzo Eds Computer Science consider constraints continuous control problem control system corresponding deﬁned deﬁnition denote diﬀerent diﬀerential equations discrete dynamical systems eﬀective eﬃcient estimation example exists feedback ﬁeld ﬁnite ﬁrst ﬁxed ﬂow formal power series Gibbs sampling given graph groupoid HSCC hybrid automata hybrid control hybrid systems identiﬁcation IEEE inﬁnite initial conditions input interval invariant linear systems LNCS Lyapunov function Markov matrix method mode model checking nonlinear optimal control output paper parameters Proof properties Proposition reachable set real-time reﬁnement relation robots sampling satisﬁes scheduling Section sequence simulation solution space speciﬁc spectral radius Springer Springer-Verlag Berlin Heidelberg stability stochastic switching surfaces task techniques temporal logic Theorem trajectory transition relation transition system variables vector veriﬁcation