2. HSCC 1999: Berg en Dal, The Netherlands

Invited Presentations

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

Selected Presentations

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

Last update Sat May 25 03:00:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page