Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Frits W. Vaandrager

    1. Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan H. Schuppen

    1. CWI, Amsterdam, The Netherlands

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

Included in the following conference series:

Conference proceedings info: HSCC 1999.

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 (23 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. SACRES: A Step Ahead in the Development of Critical Avionics Applications

    • Philippe Baufreton
    Pages 1-1

  3. Approximating Hybrid System Dynamics for Analysis and Control

    • Bruce H. Krogh
    Pages 2-2

  4. High-Level Modeling and Analysis of an Air-Traffic Management System

    • Nancy Lynch
    Pages 3-3

  5. Geometric Categories, O-Minimal Structures and Control

    • Chris Miller
    Pages 4-4

  6. Polyhedral Flows in Hybrid Automata

    • Rajeev Alur, Sampath Kannan, Salvatore La Torre
    Pages 5-18

  7. As Soon as Possible: Time Optimal Control for Timed Automata

    • Eugene Asarin, Oded Maler
    Pages 19-30

  8. Verification of Hybrid Systems via Mathematical Programming

    • Alberto Bemporad, Manfred Morari
    Pages 31-45

  9. Orthogonal Polyhedra: Representation and Computation

    • Olivier Bournez, Oded Maler, Amir Pnueli
    Pages 46-60

  10. A Geometric Approach to Bisimulation and Verification of Hybrid Systems

    • Mireille Broucke
    Pages 61-75

  11. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations

    • Alongkrit Chutinan, Bruce H. Krogh
    Pages 76-90

  12. Path Planning and Flight Controller Scheduling for an Autonomous Helicopter

    • M. Egerstedt, T. J. Koo, F. Hoffmann, S. Sastry
    Pages 91-102

  13. Reachability Analysis Using Polygonal Projections

    • Mark R. Greenstreet, Ian Mitchell
    Pages 103-116

  14. Scale-Independent Hysteresis Switching

    • João P. Hespanha, A. Stephen Morse
    Pages 117-122

  15. Well-Posedness of a Class of Piecewise Linear Systems with No Jumps

    • Jun-ichi Imura, Arjan van der Schaft
    Pages 123-136

  16. A New Class of Decidable Hybrid Systems

    • Gerardo Lafferriere, George J. Pappas, Sergio Yovine
    Pages 137-151

  17. Synthesis of Control Software in a Layered Architecture from Hybrid Automata

    • Man Lin
    Pages 152-164

  18. An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages

    • Pieter J. Mosterman
    Pages 165-177

  19. Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions

    • Pieter J. Mosterman, Gautam Biswas
    Pages 178-192

  20. Integration of Analog and Discrete Synchronous Design

    • Simin Nadjm-Tehrani
    Pages 193-208
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC’99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in LNCS 1386. The focus of the workshop is on modeling, control, synthesis, design, and ve- cation of hybrid systems. A hybrid system is a theoretical model for a computer controlled engineering system, with a dynamics that evolves both in a discrete state set and in a family of continuous state spaces. Research is motivated by, for example, control of electro-mechanical systems (robots), air tra c control, control of automated freeways, and chemical process control. The emerging - search area of hybrid systems overlaps both with computer science and with control theory. The interaction between researchers from these elds is expected to be fruitfull for the development of the area of hybrid systems.

Editors and Affiliations

  • Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands

    Frits W. Vaandrager

  • CWI, Amsterdam, The Netherlands

    Jan H. Schuppen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation