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

Front Cover
Springer Science & Business Media, Mar 20, 2007 - Computers - 797 pages
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.
 

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 HInfinity 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 Refinement 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
Author Index
795
Copyright

Other editions - View all

Common terms and phrases