Skip to main content
SpringerLink
Log in

Hybrid Systems: Computation and Control

First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Thomas A. Henzinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Shankar Sastry
    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 1386)

Included in the following conference series:

Conference proceedings info: HSCC 1998.

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

Access this book

Log in via an institution
Softcover Book USD 54.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 (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Equations on timed languages

    • Eugene Asarin
    Pages 1-12

  3. Hybrid control for automotive engine management: The cut-off case

    • A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, A. Sangiovanni-Vincentelli
    Pages 13-32

  4. Hybrid control of automotive powertrain systems: A case study

    • Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashanka
    Pages 33-48

  5. On the composition of hybrid systems

    • Sébastien Bornot, Joseph Sifakis
    Pages 49-63

  6. An equivalence between a control network and a switched hybrid system

    • Linda Bushnell, Octavian Beldiman, Gregory Walsh
    Pages 64-79

  7. Hybrid cc with interval constraints

    • Björn Carlson, Vineet Gupta
    Pages 80-95

  8. Reachability analysis via face lifting

    • Thao Dang, Oded Maler
    Pages 96-109

  9. Automotive control revisited linear inequalities as approximation of reachable sets

    • Ansgar Fehnker
    Pages 110-125

  10. Switching controllers based on neural network estimates of stability regions and controller performance

    • Enrique D. Ferreira, Bruce H. Krogh
    Pages 126-142

  11. A logic for the specification of continuous systems

    • Viktor Priesen
    Pages 143-158

  12. Integrating projections

    • Mark R. Greenstreet, Ian Mitchell
    Pages 159-174

  13. Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems

    • Kevin X. He, Michael D. Lemmon
    Pages 175-189

  14. Reachability verification for hybrid automata

    • Thomas A. Henzinger, Vlad Rusu
    Pages 190-204

  15. Subanalytic stratifications and bisimulations

    • Gerardo Laflerriere, George J. Pappas, Shankar Sastry
    Pages 205-220

  16. Integrated design and simulation of hybrid systems

    • Georg Lehrenfeld, Rolf Naumann, Rainer Rasche, Carsten Rust, Jürgen Tacken
    Pages 221-236

  17. Hierarchical hybrid systems: Partition deformations and applications to the acrobot system

    • Ekaterina S. Lemch, Peter E. Caines
    Pages 237-252

  18. Formal verification of safety-critical hybrid systems

    • Carolos Livadas, Nancy A. Lynch
    Pages 253-272

  19. Strings of vehicles: Modeling and safety conditions

    • John Lygeros, Nancy Lynch
    Pages 273-288

  20. An approach to the verification of the Center-TRACON automation system

    • John Lygeros, George J. Pappas, Shankar Sastry
    Pages 289-304
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

  2. Hybrid Neural Systems

Keywords

About this book

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation