Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Rajeev Alur

    1. University of Pennsylvania,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. George J. Pappas

    1. School of Engineering and Applied Science, University of Pennsylvania,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2993)

Included in the following conference series:

Conference proceedings info: HSCC 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (44 papers)

  1. Front Matter

    Download chapter PDF

  2. Regular Papers

    1. Lazy Rectangular Hybrid Automata

      • Manindra Agrawal, P. S. Thiagarajan
      Pages 1-15

    2. Affine Hybrid Systems

      • Aaron D. Ames, Shankar Sastry
      Pages 16-31

    3. Abstraction by Projection and Application to Multi-affine Systems

      • Eugene Asarin, Thao Dang
      Pages 32-47

    4. Observability of Switched Linear Systems

      • Mohamed Babaali, Magnus Egerstedt
      Pages 48-63

    5. Inference Methods for Autonomous Stochastic Linear Hybrid Systems

      • Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire J. Tomlin
      Pages 64-79

    6. Synthesis for Idle Speed Control of an Automotive Engine

      • Andrea Balluchi, Federico Di Natale, Alberto Sangiovanni-Vincentelli, Jan H. van Schuppen
      Pages 80-94

    7. Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways

      • Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin
      Pages 95-110

    8. Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems

      • Călin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imieliński, R. Vijay Kumar et al.
      Pages 111-125

    9. A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems

      • Alberto Bemporad, Nicolò Giorgetti
      Pages 126-141

    10. Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems

      • Amit Bhatia, Emilio Frazzoli
      Pages 142-156

    11. Discrete and Hybrid Nonholonomy

      • Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
      Pages 157-172

    12. Approximations of the Rate of Growth of Switched Linear Systems

      • Vincent D. Blondel, Yurii Nesterov, Jacques Theys
      Pages 173-186

    13. The Hybrid Guaranteed Capture Basin Algorithm in Economics

      • Noël Bonneuil, Patrick Saint-Pierre
      Pages 187-202

    14. Staying Alive as Cheaply as Possible

      • Patricia Bouyer, Ed Brinksma, Kim G. Larsen
      Pages 203-218

    15. On O-Minimal Hybrid Systems

      • Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler
      Pages 219-233

    16. Extended Stochastic Hybrid Systems and Their Reachability Problem

      • Manuela L. Bujorianu
      Pages 234-249

    17. On the Controllability of Bimodal Piecewise Linear Systems

      • M. K. Çamlıbel, W. P. M. H. Heemels, J. M. Schumacher
      Pages 250-264

    18. Observability of Piecewise-Affine Hybrid Systems

      • Pieter Collins, Jan H. van Schuppen
      Pages 265-279

    19. Non-deterministic Temporal Logics for General Flow Systems

      • Jennifer M. Davoren, Vangham Coulthard, Nicolas Markey, Thomas Moor
      Pages 280-295
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

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.

Editors and Affiliations

  • University of Pennsylvania,  

    Rajeev Alur

  • School of Engineering and Applied Science, University of Pennsylvania,  

    George J. Pappas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation