+612 9045 4394
Hybrid Systems: Computation and Control : 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings - Rajeev Alur

Hybrid Systems: Computation and Control

7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings

By: Rajeev Alur (Editor), George Pappas (Editor)

Paperback Published: 12th March 2004
ISBN: 9783540212591
Number Of Pages: 674

Share This Book:


or 4 easy payments of $51.04 with Learn more
Ships in 5 to 9 business days

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.

Lazy rectangular hybrid automatap. 1
Affine hybrid systemsp. 16
Abstraction by projection and application to multi-affine systemsp. 32
Observability of switched linear systemsp. 48
Inference methods for autonomous stochastic linear hybrid systemsp. 64
Synthesis for idle speed control of an automotive enginep. 80
Network congestion alleviation using adjoint hybrid control : application to highwaysp. 95
Understanding the bacterial stringent response using reachability analysis of hybrid systemsp. 111
A SAT-based hybrid solver for optimal control of hybrid systemsp. 126
Incremental search methods for reachability analysis of continuous and hybrid systemsp. 142
Discrete and hybrid nonholonomyp. 157
Approximations of the rate of growth of switched linear systemsp. 173
The hybrid guaranteed capture basin algorithm in economicsp. 187
Staying alive as cheaply as possiblep. 203
On O-minimal hybrid systemsp. 219
Extended stochastic hybrid systems and their reachability problemp. 234
On the controllability of bimodal piecewise linear systemsp. 250
Observability of piecewise-affine hybrid systemsp. 265
Non-deterministic temporal logics for general flow systemsp. 280
Almost ASAP semantics : from timed models to timed implementationsp. 296
Discrete state estimators for a class of hybrid systems on a latticep. 311
Benchmarks for hybrid systems verificationp. 326
On the optimal control of switch-mode DC-DC convertersp. 342
Event-driven programming with logical execution timesp. 357
A stochastic hybrid model for air traffic control simulationp. 372
Stochastic hybrid systems : application to communication networksp. 387
Rigorous modeling of hybrid systems using interval arithmetic constraintsp. 402
Modeling subtilin production in bacillus subtilis using stochastic hybrid systemsp. 417
Sound code generation from communicating hybrid modelsp. 432
Multi-parametric toolbox (MPT)p. 448
Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysisp. 463
Safety verification of hybrid systems using barrier certificatesp. 477
Piecewise-linear output-error methods for parameter estimation in direction-dependent processesp. 493
A spatial logic for the hybrid [pi]-calculusp. 508
Full paper sheet control using hybrid automatap. 523
Constructing invariants for hybrid systemsp. 539
Bisimulation of dynamical systemsp. 555
Control design for a hybrid dynamic system : a NASA life support systemp. 570
Non-concurrent error detection and correction in switched linear controllersp. 585
Nonlinear systems : approximating reach setsp. 600
On practical stability and stabilization of hybrid and switched systemsp. 615
A numerical technique for stability analysis of linear switched systemsp. 631
Asymptotic stability and boundedness of delay switching diffusionsp. 646
Symbolic systems biology : hybrid modeling and analysis of biological networksp. 660
Author indexp. 673
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540212591
ISBN-10: 3540212590
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 674
Published: 12th March 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.53
Weight (kg): 0.95