• 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 49 matches

• 1996
• 
  Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag:
  Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066, Springer 1996, ISBN 3-540-61155-X [contents]
• 1995
• 
  Rajeev Alur, Robert P. Kurshan:
  Timing Analysis in COSPAN. Hybrid Systems 1995: 220-231
• 
  Zvi Artstein:
  Examples of Stabilization with Hybrid Feedback. Hybrid Systems 1995: 173-185
• 
  Stuart Bailey, Robert L. Grossman, L. Gu, David Hanley:
  A Data Intensive Computing Approach to Path Planning and Mode Management for Hybrid Systems. Hybrid Systems 1995: 485-495
• 
  Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243
• 
  Albert Benveniste:
  Compositional and Uniform Modelling of Hybrid Systems. Hybrid Systems 1995: 41-51
• 
  Christopher J. Bett, Michael D. Lemmon:
  H_infinity Gain Schedule Synthesis of Supervisory Hybrid Control Systems. Hybrid Systems 1995: 543-552
• 
  Ahmed Bouajjani, Yassine Lakhnech:
  Logics vs. Automata: The Hybrid Case. Hybrid Systems 1995: 531-542
• 
  Michael S. Branicky:
  General Hybrid Dynamical Systems: Modeling, Analysis, and Control. Hybrid Systems 1995: 186-200
• 
  Karlis Cerans, Juris Viksna:
  Deciding Reachability for Planar Multi-polynomial Systems. Hybrid Systems 1995: 389-400
• 
  Chaochen Zhou, Ji Wang, Anders P. Ravn:
  A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530
• 
  Darren D. Cofer, Vijay K. Garg:
  On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
• 
  Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
  The Tool KRONOS. Hybrid Systems 1995: 208-219
• 
  Akash Deshpande, Datta N. Godbole, Aleks Göllü, Pravin Varaiya:
  Design and Evaluation Tools for Automated Highway Systems. Hybrid Systems 1995: 138-148
• 
  V. D. Dimitriadis, Nilay Shah, Costas C. Pantelides:
  Optimal Design of Hybrid Controllers for Hybrid Process Systems. Hybrid Systems 1995: 244-257
• 
  Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
  Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems 1995: 76-100
• 
  Mrinal K. Ghosh, Steven I. Marcus, Aristotle Arapostathis:
  Controlled Switching Diffusions as Hybrid Processes. Hybrid Systems 1995: 64-75
• 
  John-Morten Godhavn, Trygve Lauvdal, Olav Egeland:
  Hybrid Control in Sea Traffic Management Systems. Hybrid Systems 1995: 149-160
• 
  Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
  Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63
• 
  John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros:
  Verification of Hybrid Systems: Monotonicity in the AHS Control System. Hybrid Systems 1995: 161-172
• 
  Lawrence E. Halloway:
  On-line Fault Monitoring of a Class of Hybrid Systems Using Templates with Dynamic Time Scaling. Hybrid Systems 1995: 258-269
• 
  Constance L. Heitmeyer:
  Requirements Specifications for Hybrid Systems. Hybrid Systems 1995: 304-314
• 
  Thomas A. Henzinger, Howard Wong-Toi:
  Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388
• 
  Ingo Hoffmann, Karsten-Ulrich Klatt:
  Modeling Hybrid Dynamical Systems. Hybrid Systems 1995: 401-412
• 
  Ji Wang, Weidong He:
  Formal Specification of Stability in Hybrid Control Systems. Hybrid Systems 1995: 294-303
• 
  Yonit Kesten, Zohar Manna, Amir Pnueli:
  Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40
• 
  Mikhail Kourjanski, Pravin Varaiya:
  Stability of Hybrid Systems. Hybrid Systems 1995: 413-423
• 
  Ratnesh Kumar, Mark A. Shayman:
  Supervisory Control of Real-Time Systems Using Prioritized Synchronization. Hybrid Systems 1995: 351-361
• 
  Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
• 
  Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
  Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615

skipping 19 more matches