Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Front Matter....Pages -
Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems....Pages 1-1
Control Challenges in Wireless Sensor Networks....Pages 2-2
The Challenges of Embedded Systems Engineering....Pages 3-3
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems....Pages 4-17
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries....Pages 18-31
Minimum Time for a Hybrid System with Thermostatic Switchings....Pages 32-45
Complexity Reduction for the Design of Interacting Controllers....Pages 46-60
Model Checking Genetic Regulatory Networks with Parameter Uncertainty....Pages 61-75
 MARCO : A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems....Pages 76-89
Symbolic Analysis for GSMP Models with One Stateful Clock....Pages 90-103
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles....Pages 104-117
Optimal Switching of 1-DOF Oscillating Systems....Pages 118-130
Feedback Scheduling for Pipelines of Tasks....Pages 131-144
On Simulations and Bisimulations of General Flow Systems....Pages 145-158
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems....Pages 159-173
Systematic Simulation Using Sensitivity Analysis....Pages 174-189
Motion Programs for Puppet Choreography and Control....Pages 190-202
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications....Pages 203-216
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems....Pages 217-230
Approximately Bisimilar Finite Abstractions of Stable Linear Systems....Pages 231-244
Learning Cycle-Linear Hybrid Automata for Excitable Cells....Pages 245-258
Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application....Pages 259-272
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems....Pages 273-286
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction....Pages 287-300
Sporadic Control of First-Order Linear Stochastic Systems....Pages 301-314
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks....Pages 315-328
Robust Test Generation and Coverage for Hybrid Systems....Pages 329-342
Minimalilty of Finite Automata Representation in Hybrid Systems Control....Pages 343-356
Hybrid Control and Verification of a Pulsed Welding Process....Pages 357-370
On Self-triggered Full-Information H-Infinity Controllers....Pages 371-384
Impulse Differential Inclusions Driven by Discrete Measures....Pages 385-398
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems....Pages 399-412
Solving Coverage Problems with Embedded Graph Grammars....Pages 413-427
Comparing Forward and Backward Reachability as Tools for Safety Analysis....Pages 428-443
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares....Pages 444-458
Metrics and Topology for Nonlinear and Hybrid Systems....Pages 459-472
The Image Computation Problem in Hybrid Systems Model Checking....Pages 473-486
A New Hybrid State Estimator for Systems with Limited Mode Changes....Pages 487-500
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems....Pages 501-514
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces....Pages 515-528
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems....Pages 529-542
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors....Pages 543-556
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach....Pages 557-572
Rate Admission Control for Hard Real-Time Task Scheduling....Pages 573-586
Foundations of a Compositional Interchange Format for Hybrid Systems....Pages 587-600
Automata Based Interfaces for Control and Scheduling....Pages 601-613
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems....Pages 614-627
The Concept of Deadlock and Livelock in Hybrid Control Systems....Pages 628-632
Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems....Pages 633-636
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems....Pages 637-640
Optimal Switches in Multi–inventory Systems....Pages 641-644
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation....Pages 645-649
A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems....Pages 650-655
A Hybrid Bellman Equation for Bimodal Systems....Pages 656-659
Networks of Hybrid Systems: Connections Faults Modelling and Detection....Pages 660-663
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems....Pages 664-667
Composing Semi-algebraic O-Minimal Automata....Pages 668-671
A Hybrid Model for Subliminal Air Traffic Control....Pages 672-675
On Bicontinuous Bisimulation and the Preservation of Stability....Pages 676-679
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs....Pages 680-683
Diagnosability Verification for Hybrid Automata....Pages 684-687
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models....Pages 688-692
Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli....Pages 693-697
Reachability Analysis of a Switched Buffer Network....Pages 698-701
Composition of Dynamical Systems for Estimation of Human Body Dynamics....Pages 702-705
Computation in One-Dimensional Piecewise Maps....Pages 706-709
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models....Pages 710-713
Invertibility and Flatness of Switched Linear Discrete-Time Systems....Pages 714-717
Trace-Based Semantics for Probabilistic Timed I/O Automata....Pages 718-722
Asymptotic Stability of Switched Higher Order Laplacians....Pages 723-726
Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions....Pages 727-730
Guided Randomized Simulation....Pages 731-735
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System....Pages 736-740
Fully Automated Stability Verification for Piecewise Affine Systems....Pages 741-745
Differential Logic for Reasoning About Hybrid Systems....Pages 746-749
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems....Pages 750-753
Switch Detection in Genetic Regulatory Networks....Pages 754-757
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems....Pages 758-761
Case Studies in Event-Driven Control....Pages 762-765
Hybrid Estimation for Stochastic Piecewise Linear Systems....Pages 766-770
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems....Pages 771-774
State Nullification of Switched Systems by Linear Output Feedback....Pages 775-778
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults....Pages 779-782
A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant....Pages 783-786
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games....Pages 787-789
A Controller Design Method Under Infrequent, Asynchronous Sensing....Pages 790-794
Back Matter....Pages -