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

• 1995
• 
  Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
  Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3 [contents]
• 1994
• 
  Eugene Asarin, Oded Maler, Amir Pnueli:
  Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20
• 
  Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
  A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. Hybrid Systems 1994: 21-44
• 
  J. D. Birdwell, B. C. Moore:
  Condensation of Information from Signals for Process Modeling and Control. Hybrid Systems 1994: 45-63
• 
  Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
  On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems 1994: 64-85
• 
  Peter E. Caines, Yuan-Jun Wei:
  On Dynamically Consistent Hybrid Systems. Hybrid Systems 1994: 86-105
• 
  Nicholas DeClaris, Mu-Chun Su:
  A Self-Learning Neuro-Fuzzy System. Hybrid Systems 1994: 106-127
• 
  Akash Deshpande, Pravin Varaiya:
  Viable Control of Hybrid Systems. Hybrid Systems 1994: 128-147
• 
  Murat Dogruel, Ümit Özgüner:
  Modeling and Stability Issues in Hybrid Systems. Hybrid Systems 1994: 148-165
• 
  Datta N. Godbole, John Lygeros, Shankar Sastry:
  Hierarchical Hybrid Control: A Case Study. Hybrid Systems 1994: 166-190
• 
  Robert L. Grossman, M. Sweedler:
  Hybrid Systems and Quantum Automata: Preliminary Announcement. Hybrid Systems 1994: 191-201
• 
  John Guckenheimer, Stewart Johnson:
  Planar Hybrid Systems. Hybrid Systems 1994: 202-225
• 
  Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow:
  Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251
• 
  Thomas A. Henzinger, Pei-Hsin Ho:
  A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
• 
  Thomas A. Henzinger, Pei-Hsin Ho:
  HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
• 
  Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
  Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems 1994: 294-321
• 
  Michael D. Lemmon, Christopher J. Bett, Peter T. Szymanski, Panos J. Antsaklis:
  Constructing Hybrid Control Systems from Robust Linear Control Agents. Hybrid Systems 1994: 322-343
• 
  Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
  Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358
• 
  Anuj Puri, Pravin Varaiya:
  Verification of Hybrid Systems Using Abstractions. Hybrid Systems 1994: 359-369
• 
  Jörg Raisch:
  Control of Continuous Plants by Symbolic Output Feedback. Hybrid Systems 1994: 370-390
• 
  Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen:
  Hybrid Control of a Robot - A Case Study. Hybrid Systems 1994: 391-404
• 
  Olivier F. Roux, Vlad Rusu:
  Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416
• 
  Hessam S. Sarjoughian, Bernard P. Zeigler:
  Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning. Hybrid Systems 1994: 417-435
• 
  R. K. Shyamasundar, S. Ramesh:
  Semantics and Verification of Hierarchical CRP Programs. Hybrid Systems 1994: 436-461
• 
  James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon:
  Interface and Controller Design for Hybrid Control Systems. Hybrid Systems 1994: 462-492
• 
  Michael Tittus, Bo Egardt:
  Hybrid Objects. Hybrid Systems 1994: 493-508
• 
  Yong Yao Yang, Derek A. Linkens, Stephen P. Banks:
  Modelling of Hybrid Systems Based on Extended Coloured Petri Nets. Hybrid Systems 1994: 509-528
• 
  Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer:
  DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems. Hybrid Systems 1994: 529-551
• 
  Ying Zhang, Alan K. Mackworth:
  Synthesis of Hybrid Constraint-Based Controllers. Hybrid Systems 1994: 552-567