2. HSCC 1999: Berg en Dal, The Netherlands

Frits W. Vaandrager, Jan H. van Schuppen (Eds.): Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings. Lecture Notes in Computer Science 1569 Springer 1999, ISBN 3-540-65734-7 BibTeX

@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
Christopher L. 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