Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings

Front Cover
Springer Science & Business Media, Apr 3, 2008 - Computers - 680 pages
This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society and organized in cooperation with ACM/SIGBED.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Markov SetChains as Abstractions of Stochastic Hybrid Systems
1
Cosimulation Tools for Networked Control Systems
16
On the Maximum Principle for Impulsive Hybrid Systems
30
Algebraic Identification of MIMO SARX Models
43
ContractBased Design for Computation and Verification of a ClosedLoop Hybrid System
58
Controller Synthesis with Budget Constraints
72
Trading Infinite Memory for Uniform Randomness in Timed Games
87
Solutions to Switched HamiltonJacobi Equations and Conservation Laws Using Hybrid Components
101
On the Optimality of Dubins Paths across Heterogeneous Terrain
457
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems
471
Discrete Dynamics of TwoDimensional Nonlinear Hybrid Automata
486
InputtoState Stabilization with Quantized Output Feedback
500
Bisimilar Finite Abstractions of Interconnected Systems
514
On Controllability of Timed Continuous Petri Nets
528
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
542
Necessary Conditions for the Impulsive TimeOptimal Control of FiniteDimensional Lagrangian Systems
556

HybridTime Flows vs RealTime Transitions
116
A Control Lyapunov Approach to Predictive Control of Hybrid Systems
130
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems
144
Anytime Control Algorithms for Embedded RealTime Systems
158
Title Page
172
A CounterexampleGuided Approach to Parameter Synthesis for Linear Hybrid Automata
187
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
201
ZonotopeHyperplane Intersection for Hybrid Systems Reachability Analysis
215
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
229
Compositional Modeling and Minimization of TimeInhomogeneous Markov Chains
244
ObserverBased Control of Linear Complementarity Systems
259
Complementarity Systems in Constrained SteadyState Optimal Control
273
Dealing with Nondeterminism in Symbolic Control
287
Safety and Liveness in Intelligent Intersections
301
Linear Temporal Logic for Control
316
Switched and PieceWise Nonlinear Hybrid System Identification
330
Verification of Supervisory Control Software Using State Proximity and Merging
344
A Stochastic Multiagent Optimization Procedure with Point Measurements
358
Noncausal Optimal Tracking of Linear Switched Systems
372
Realization Theory for DiscreteTime Semialgebraic Hybrid Systems
386
A Decidable Class of Planar Linear Hybrid Systems
401
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
415
The Sugar Cataract Development Process
429
Distributed Lyapunov Functions in Analysis of Graph Models of Software
443
Composition of Motion Description Languages
570
On Optimal Quadratic Regulation for DiscreteTime Switched Linear Systems
584
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
598
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries
602
SamplingBased ResolutionComplete Algorithms for Safety Falsification of Linear Systems
606
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
610
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems
614
A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
618
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems
622
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time
626
Level Set Methods for ComputingReachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
630
Approximate Control Design for Solar Driven Sensor Nodes
634
Modular Development of Hybrid Systems for Verification in Coq
638
Steering a LeaderFollower Team Via Linear Consensus
642
Logical Verification and Systematic Parametric Analysis in Train Control
646
Information Theoretical Approach to Identification of Hybrid Systems
650
A Policy Iteration Technique for Time Elapse over Template Polyhedra
654
Generating Box Invariants
658
Qualitative Stability Patterns for LotkaVolterra Systems on Rectangles
662
SampledData Event Control of Hybrid Systems for Control Specifications Given by Predicates
666
On the Timing of Discrete Events in EventDriven Control Systems
670
Decentralized EventTriggered Broadcasts over Networked Control Systems
674
Author Index
678
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page vi - Editor-in-Chief William T. Rhodes Georgia Institute of Technology School of Electrical and Computer Engineering Atlanta, GA 30332-0250, USA...