Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)3540212590, 9783540212591, 9783540247432

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. 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 behaviors. 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), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

---

Table of contents :
Front Matter….Pages –
Lazy Rectangular Hybrid Automata….Pages 1-15
Affine Hybrid Systems….Pages 16-31
Abstraction by Projection and Application to Multi-affine Systems….Pages 32-47
Observability of Switched Linear Systems….Pages 48-63
Inference Methods for Autonomous Stochastic Linear Hybrid Systems….Pages 64-79
Synthesis for Idle Speed Control of an Automotive Engine….Pages 80-94
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways….Pages 95-110
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems….Pages 111-125
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems….Pages 126-141
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems….Pages 142-156
Discrete and Hybrid Nonholonomy….Pages 157-172
Approximations of the Rate of Growth of Switched Linear Systems….Pages 173-186
The Hybrid Guaranteed Capture Basin Algorithm in Economics….Pages 187-202
Staying Alive as Cheaply as Possible….Pages 203-218
On O-Minimal Hybrid Systems….Pages 219-233
Extended Stochastic Hybrid Systems and Their Reachability Problem….Pages 234-249
On the Controllability of Bimodal Piecewise Linear Systems….Pages 250-264
Observability of Piecewise-Affine Hybrid Systems….Pages 265-279
Non-deterministic Temporal Logics for General Flow Systems….Pages 280-295
Almost ASAP Semantics: From Timed Models to Timed Implementations….Pages 296-310
Discrete State Estimators for a Class of Hybrid Systems on a Lattice….Pages 311-325
Benchmarks for Hybrid Systems Verification….Pages 326-341
On the Optimal Control of Switch-Mode DC-DC Converters….Pages 342-356
Event-Driven Programming with Logical Execution Times….Pages 357-371
A Stochastic Hybrid Model for Air Traffic Control Simulation….Pages 372-386
Stochastic Hybrid Systems: Application to Communication Networks….Pages 387-401
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints….Pages 402-416
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems….Pages 417-431
Sound Code Generation from Communicating Hybrid Models….Pages 432-447
Multi-Parametric Toolbox (MPT)….Pages 448-462
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis….Pages 463-476
Safety Verification of Hybrid Systems Using Barrier Certificates….Pages 477-492
Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes….Pages 493-507
A Spatial Logic for the Hybrid π -Calculus….Pages 508-522
Full Paper Sheet Control Using Hybrid Automata….Pages 523-538
Constructing Invariants for Hybrid Systems….Pages 539-554
Bisimulation of Dynamical Systems….Pages 555-569
Control Design for a Hybrid Dynamic System: A NASA Life Support System….Pages 570-584
Non-concurrent Error Detection and Correction in Switched Linear Controllers….Pages 585-599
Nonlinear Systems: Approximating Reach Sets….Pages 600-614
On Practical Stability and Stabilization of Hybrid and Switched Systems….Pages 615-630
A Numerical Technique for Stability Analysis of Linear Switched Systems….Pages 631-645
Asymptotic Stability and Boundedness of Delay Switching Diffusions….Pages 646-659
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks….Pages 660-672
Back Matter….Pages –