Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Claire J. Tomlin

    1. Department of Aeronautics and Astronautics, Stanford University, Stanford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark R. Greenstreet

    1. Department of Computer Science, University of British Columbia, Vancouver BC, Canada

    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 2289)

Included in the following conference series:

Conference proceedings info: HSCC 2002.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (36 papers)

  1. Papers

    1. Computation of Root-Mean-Square Gains of Switched Linear Systems

      • João P. Hespanha
      Pages 239-252

    2. Mode Estimation of Probabilistic Hybrid Systems

      • Michael W. Hofbaur, Brian C. Williams
      Pages 253-266

    3. Symmetry Reduction of a Class of Hybrid Systems

      • Jianghai Hu, Shankar Sastry
      Pages 267-280

    4. Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems

      • T. John Koo, Shankar Sastry
      Pages 281-293

    5. Qualitative Modeling and Heterogeneous Control of Global System Behavior

      • Benjamin Kuipers, Subramanian Ramamoorthy
      Pages 294-307

    6. An Approach to Model-Based Diagnosis of Hybrid Systems

      • Sriram Narasimhan, Gautam Biswas
      Pages 308-322

    7. Information-Based Alpha-Beta Search and the Homicidal Chau.eur

      • Todd W. Neller
      Pages 323-336

    8. Synthesis of Robust Control Systems under Resource Constraints

      • Luigi Palopoli, Claudio Pinello, Alberto Sangiovanni Vincentelli, Laurent Elghaoui, Antonio Bicchi
      Pages 337-350

    9. Optimal Control of Quantized Input Systems

      • Stefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi
      Pages 351-363

    10. Reconfiguration in Hierarchical Control of Piecewise-Affine Systems

      • Tal Pasternak
      Pages 364-377

    11. Hybrid Kernels and Capture Basins for Impulse Constrained Systems

      • Patrick Saint-Pierre
      Pages 378-392

    12. Ordered Upwind Methods for Hybrid Control

      • James A. Sethian, Alexander Vladimirsky
      Pages 393-406

    13. Discrete-Time Refinement of Hybrid Automata

      • Thomas Stauner
      Pages 407-420

    14. Control of Switched Hybrid Systems Based on Disjunctive Formulations

      • Olaf Stursberg, Sebastian Panek
      Pages 421-435

    15. Composing Abstractions of Hybrid Systems

      • Paulo Tabuada, George J. Pappas, Pedro Lima
      Pages 436-450

    16. Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach

      • Xiaobo Tan, John S. Baras
      Pages 451-464

    17. Series of Abstractions for Hybrid Automata

      • Ashish Tiwari, Gaurav Khanna
      Pages 465-478

  2. Back Matter

    Pages 479-480
    Download chapter PDF
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.
The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

Editors and Affiliations

  • Department of Aeronautics and Astronautics, Stanford University, Stanford, USA

    Claire J. Tomlin

  • Department of Computer Science, University of British Columbia, Vancouver BC, Canada

    Mark R. Greenstreet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation