• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 1999
• 
  Rajeev Alur, Sampath Kannan, Salvatore La Torre:
  Polyhedral Flows in Hybrid Automata. HSCC 1999: 5-18
• 
  Eugene Asarin, Oded Maler:
  As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30
• 
  Philippe Baufreton:
  SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). HSCC 1999: 1
• 
  Alberto Bemporad, Manfred Morari:
  Verification of Hybrid Systems via Mathematical Programming. HSCC 1999: 31-45
• 
  Olivier Bournez, Oded Maler, Amir Pnueli:
  Orthogonal Polyhedra: Representation and Computation. HSCC 1999: 46-60
• 
  Mireille E. Broucke:
  A Geometric Approach to Bisimulation and Verification of Hybrid Systems. HSCC 1999: 61-75
• 
  Alongkrit Chutinan, Bruce H. Krogh:
  Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90
• 
  Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry:
  Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. HSCC 1999: 91-102
• 
  Mark R. Greenstreet, Ian Mitchell:
  Reachability Analysis Using Polygonal Projections. HSCC 1999: 103-116
• 
  João P. Hespanha, A. Stephen Morse:
  Scale-Independent Hysteresis Switching. HSCC 1999: 117-122
• 
  Jun-ichi Imura, A. J. van der Schaft:
  Well-Posedness of a Class of Piecewise Linear Systems with No Jumps. HSCC 1999: 123-136
• 
  Bruce H. Krogh:
  Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2
• 
  Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
  A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
• 
  Man Lin:
  Synthesis of Control Software in a Layered Architecture from Hybrid Automata. HSCC 1999: 152-164
• 
  Nancy A. Lynch:
  High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). HSCC 1999: 3
• 
  Christopher Lee Miller:
  Geometric Categories, O-Minimal Structures and Control (Abstract). HSCC 1999: 4
• 
  Pieter J. Mosterman:
  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. HSCC 1999: 165-177
• 
  Pieter J. Mosterman, Gautam Biswas:
  Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. HSCC 1999: 178-192
• 
  Simin Nadjm-Tehrani:
  Integration of Analog and Discrete Synchronous Design. HSCC 1999: 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. HSCC 1999: 209-222
• 
  Mauno Rönkkö, Kaisa Sere:
  Refinement and Continuous Behaviour. HSCC 1999: 223-237
• 
  Claire J. Tomlin, John Lygeros, Shankar Sastry:
  Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
• 
  Christos A. Yfoulis, A. Muir, Peter E. Wellstead, N. B. O. L. Pettit:
  Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. HSCC 1999: 256-270
• 
  Frits W. Vaandrager, Jan H. van Schuppen:
  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 [contents]