Shankar Sastry (auth.), Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)3540714928, 9783540714927, 9783540714934
This 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.
Table of contents :
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 –
Reviews
There are no reviews yet.