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

• 2003
• 
  Rajeev Alur, Thao Dang, Franjo Ivancic:
  Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19
• 
  Eugene Asarin, Thao Dang, Antoine Girard:
  Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35
• 
  Adam Austin, Magnus Egerstedt:
  Mode Reconstruction for Source Coding and Multi-modal Control. HSCC 2003: 36-49
• 
  Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn:
  Hybrid Control Design for a Wheeled Mobile Robot. HSCC 2003: 50-65
• 
  Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen:
  Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems. HSCC 2003: 66-80
• 
  Alberto Bemporad, Pandeli Borodani, Massimo Mannelli:
  Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions. HSCC 2003: 81-96
• 
  Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino:
  A Greedy Approach to Identification of Piecewise Affine Models. HSCC 2003: 97-112
• 
  David Berlinski:
  The Mathematics of Matter and the Mathematics of Mind. HSCC 2003: 1
• 
  Richard J. Boulton, Ruth Hardy, Ursula Martin:
  A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC 2003: 113-125
• 
  Manuela-Luminita Bujorianu, John Lygeros:
  Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
• 
  Jean-Guillaume Dumas, Aude Rondepierre:
  Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System. HSCC 2003: 156-171
• 
  Nael H. El-Farra, Panagiotis D. Christofides:
  Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators. HSCC 2003: 172-187
• 
  Giancarlo Ferrari-Trecate, Michael Schinkel:
  Conditions of Optimal Classification for Piecewise Affine Regression. HSCC 2003: 188-202
• 
  Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube:
  Approximate Stabilisation of Uncertain Hybrid Systems. HSCC 2003: 203-215
• 
  Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari:
  Efficient Mode Enumeration of Compositional Hybrid Systems. HSCC 2003: 216-232
• 
  Ronojoy Ghosh, Ashish Tiwari, Claire J. Tomlin:
  Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248
• 
  David Harel:
  A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC 2003: 2
• 
  W. P. M. H. Heemels, M. Kanat Camlibel, A. J. van der Schaft, Johannes M. Schumacher:
  Modelling, Well-Posedness, Stability of Switched Electrical Networks. HSCC 2003: 249-266
• 
  Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann:
  Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. HSCC 2003: 267-282
• 
  James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
  On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297
• 
  Xenofon D. Koutsoukos, James Kurien, Feng Zhao:
  Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. HSCC 2003: 298-313
• 
  Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild:
  Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions. HSCC 2003: 314-327
• 
  Jie Liu, Edward A. Lee:
  On the Causality of Mixed-Signal and Hybrid Models. HSCC 2003: 328-342
• 
  Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron:
  Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358
• 
  Rainer Möbus, Mato Baotic, Manfred Morari:
  Multi-object Adaptive Cruise Control. HSCC 2003: 359-374
• 
  Joël Ouaknine, James Worrell:
  Universality and Language Inclusion for Open and Closed Timed Automata. HSCC 2003: 375-388
• 
  Luigi Palopoli, Luca Abeni, Giuseppe Lipari:
  On the Application of Hybrid Control to CPU Reservations. HSCC 2003: 389-404
• 
  Udi Peless:
  Developing Home Robotics Products: Challenges and Lessons Learned. HSCC 2003: 3
• 
  Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli:
  Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC 2003: 141-155
• 
  Bruno Picasso, Antonio Bicchi:
  Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback. HSCC 2003: 405-416

skipping 10 more matches