Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Front Cover
Springer Science & Business Media, Mar 4, 2005 - Computers - 684 pages
This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), and Philad- phia, USA (2004). This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for anexcellentjobofevaluatingthesubmissionsandparticipatingintheonlineP- gram Committee discussions. Special thanks go to Markus P. J. Fromherz (Palo Alto Research Center, USA), Edward A. Lee (University of California, Berkeley, USA), and Pablo A. Parrilo (Massachusetts Institute of Technology, USA) for their participation as invited speakers. We are also grateful to the Steering C- mitteeforhelpfulguidanceandsupport. Manyotherpeopleworkedhardtomake the HSCC 2005 a success. We would like to thank Frank J. Christophersen and Ernesto Wandeler, the Publicity Chairs (with the help of Urban M] ader); M- tine D'Emma and Monica Fricker for local arrangements; and Frank J. Chris- phersen for putting together the proceedings.
 

What people are saying - Write a review

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

Contents

Coordinated Control for Highly Reconfigurable Systems
1
Operational Semantics of Hybrid Systems
25
SOS Methods for Semialgebraic Games and Optimization
54
The Discrete Time Behavior of Lazy Linear Hybrid Automata
55
Perturbed Timed Automata
70
Hybrid Homology
86
Observability of Switched Linear Systems in Continuous Time
103
Controller Synthesis on Nonuniform and Uncertain DiscreteTime Domains
118
An OntologyBased Approach to Heterogeneous Verification of Embedded Control Systems
370
ModeAutomata Based Methodology for Scade
386
Taylor Approximation for Hybrid Systems
402
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems
417
Simulation Examples and Optimisation
433
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
449
Learning Multimodal Control Programs
466
A Toolbox of HamiltonJacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
480

Nutritional Stress Response in Escherichia coli
134
Optimal Control of Discrete Hybrid Stochastic Automata
151
Hybrid Decentralized Control of Large Scale Systems
168
On the Stabilisation of Switching Electrical Power Converters
184
Bisimulation for General Stochastic Hybrid Systems
198
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
215
Existence of Cascade DiscreteContinuous State Estimators for Systems on a Partial Order
226
Refining Abstractions of Hybrid Systems Using Counterexample Fragments
242
Algorithmic Verification of Hybrid Systems Past HyTech
258
A Model Predictive Control Approach Based on Feasibility
274
Reachability of Uncertain Linear Systems Using Zonotopes
291
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates
306
Polynomial Stochastic Hybrid Systems
322
Nonuniqueness in Reverse Time of Hybrid System Trajectories
339
Comparison of Four Procedures for the Identification of Hybrid Systems
354
On Transfinite Hybrid Automata
495
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
511
Review and Proposal
526
PrimalDual Tests for Safety and Reachability
542
AdjointBased Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
557
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
573
Generating Polynomial Invariants for Hybrid Systems
590
Modeling Optimization and Computation for Software Verification
606
Bisimulation for Communicating Piecewise Deterministic Markov Processes CPDPs
623
SensorActuator Abstractions for Symbolic Embedded Control Design
640
Modeling and Control of Networked Control Systems with Random Delays
655
Controllability Implies Stabilizability for DiscreteTime Switched Linear Systems
667
Author Index
683
Copyright

Other editions - View all

Common terms and phrases