Hybrid Systems: Computation and Control

1. Front Matter

   Pages I-X

   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

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.

• Computer
• Scheduling
• Simulation
• architecture
• automata
• model
• modeling
• optimization
• programming
• verification
• complexity

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

  Frits W. Vaandrager

• CWI, Amsterdam, The Netherlands

  Jan H. Schuppen

Policies and ethics