Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Hybrid Systems: Computation and Control

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

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)

Conference series link(s): HSCC: International Workshop on Hybrid Systems: Computation and Control

Conference proceedings info: HSCC 2004.

Sections

Buy it now

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

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

Table of contents (44 papers)

  1. Front Matter

    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

    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

    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

    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

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Pennsylvania,  

    Rajeev Alur

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

    George J. Pappas

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation