2. HSCC 1999: Berg en Dal, The Netherlands

@proceedings{DBLP:conf/hybrid/1999,
  editor    = {Frits W. Vaandrager and
               Jan H. van Schuppen},
  title     = {Hybrid Systems: Computation and Control, Second International
               Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31,
               1999, Proceedings},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1569},
  year      = {1999},
  isbn      = {3-540-65734-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

• Philippe Baufreton:
  SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). 1
  Electronic Edition (Springer LINK) BibTeX
• Bruce H. Krogh:
  Approximating Hybrid System Dynamics for Analysis and Control (Abstract). 2
  Electronic Edition (Springer LINK) BibTeX
• Nancy A. Lynch:
  High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). 3
  Electronic Edition (Springer LINK) BibTeX
• Chris Miller:
  Geometric Categories, O-Minimal Structures and Control (Abstract). 4
  Electronic Edition (Springer LINK) BibTeX

Selected Presentations

• Rajeev Alur, Sampath Kannan, Salvatore La Torre:
  Polyhedral Flows in Hybrid Automata. 5-18
  Electronic Edition (Springer LINK) BibTeX
• Eugene Asarin, Oded Maler:
  As Soon as Possible: Time Optimal Control for Timed Automata. 19-30
  Electronic Edition (Springer LINK) BibTeX
• Alberto Bemporad, Manfred Morari:
  Verification of Hybrid Systems via Mathematical Programming. 31-45
  Electronic Edition (Springer LINK) BibTeX
• Olivier Bournez, Oded Maler, Amir Pnueli:
  Orthogonal Polyhedra: Representation and Computation. 46-60
  Electronic Edition (Springer LINK) BibTeX
• Mireille E. Broucke:
  A Geometric Approach to Bisimulation and Verification of Hybrid Systems. 61-75
  Electronic Edition (Springer LINK) BibTeX
• Alongkrit Chutinan, Bruce H. Krogh:
  Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. 76-90
  Electronic Edition (Springer LINK) BibTeX
• Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry:
  Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. 91-102
  Electronic Edition (Springer LINK) BibTeX
• Mark R. Greenstreet, Ian Mitchell:
  Reachability Analysis Using Polygonal Projections. 103-116
  Electronic Edition (Springer LINK) BibTeX
• João P. Hespanha, A. Stephen Morse:
  Scale-Independent Hysteresis Switching. 117-122
  Electronic Edition (Springer LINK) BibTeX
• Jun-ichi Imura, A. J. van der Schaft:
  Well-Posedness of a Class of Piecewise Linear Systems with No Jumps. 123-136
  Electronic Edition (Springer LINK) BibTeX
• Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
  A New Class of Decidable Hybrid Systems. 137-151
  Electronic Edition (Springer LINK) BibTeX
• Man Lin:
  Synthesis of Control Software in a Layered Architecture from Hybrid Automata. 152-164
  Electronic Edition (Springer LINK) BibTeX
• Pieter J. Mosterman:
  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. 165-177
  Electronic Edition (Springer LINK) BibTeX
• Pieter J. Mosterman, Gautam Biswas:
  Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. 178-192
  Electronic Edition (Springer LINK) BibTeX
• Simin Nadjm-Tehrani:
  Integration of Analog and Discrete Synchronous Design. 193-208
  Electronic Edition (Springer LINK) BibTeX
• Jörg Preußig, Olaf Stursberg, Stefan Kowalewski:
  Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. 209-222
  Electronic Edition (Springer LINK) BibTeX
• Mauno Rönkkö, Kaisa Sere:
  Refinement and Continuous Behaviour. 223-237
  Electronic Edition (Springer LINK) BibTeX
• Claire Tomlin, John Lygeros, Shankar Sastry:
  Computing Controllers for Nonlinear Hybrid Systems. 238-255
  Electronic Edition (Springer LINK) BibTeX
• Christos A. Yfoulis, A. Muir, P. E. Wellstead, N. B. O. L. Pettit:
  Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. 256-270
  Electronic Edition (Springer LINK) BibTeX