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

• 2009
• 
  Behzad Akbarpour, Lawrence C. Paulson:
  Applications of MetiTarski in the Verification of Control and Hybrid Systems. HSCC 2009: 1-15
• 
  Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel:
  Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach. HSCC 2009: 16-30
• 
  Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry:
  Safe and Secure Networked Control Systems under Denial-of-Service Attacks. HSCC 2009: 31-45
• 
  Daniele Bernardini, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli:
  Simultaneous Optimal Control and Discrete Stochastic Sensor Selection. HSCC 2009: 61-75
• 
  Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto:
  Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. HSCC 2009: 76-89
• 
  Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
  Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
• 
  Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
  Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104
• 
  Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
  Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119
• 
  Jorge Cortés:
  Distributed Wombling by Robotic Sensor Networks. HSCC 2009: 120-134
• 
  Jennifer M. Davoren:
  Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. HSCC 2009: 135-149
• 
  M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Heemels, Nathan van de Wouw, Maarten Steinbuch:
  Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach. HSCC 2009: 150-164
• 
  Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
  Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179
• 
  Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
  Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193
• 
  Radu Grosu:
  Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. HSCC 2009: 194-208
• 
  Falk M. Hante, Günter Leugering:
  Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions. HSCC 2009: 209-222
• 
  A. Agung Julius, George J. Pappas:
  Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236
• 
  Mircea Lazar, Andrej Jokic:
  Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. HSCC 2009: 237-251
• 
  Ji-Woong Lee:
  Uniform Consensus among Self-driven Particles. HSCC 2009: 252-261
• 
  Pau Martí, Manel Velasco, Enrico Bini:
  The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. HSCC 2009: 441-444
• 
  Patrick Martin, Magnus Egerstedt:
  Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. HSCC 2009: 262-275
• 
  Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha:
  Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC 2009: 445-449
• 
  Katsunori Nakamura, Akira Fusaoka:
  An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. HSCC 2009: 450-454
• 
  Gou Nakura:
  Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). HSCC 2009: 455-459
• 
  Jens Oehlerking, Oliver E. Theel:
  Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC 2009: 276-290
• 
  Yizhar Or, Aaron D. Ames:
  Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. HSCC 2009: 291-305
• 
  Gunther Reißig:
  Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. HSCC 2009: 306-320
• 
  Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
  Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. HSCC 2009: 460-464
• 
  Giulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky:
  Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management. HSCC 2009: 321-335
• 
  Axel Schild, Magnus Egerstedt, Jan Lunze:
  Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. HSCC 2009: 465-469
• 
  Michael Schuresko, Jorge Cortés:
  Distributed Tree Rearrangements for Reachability and Robust Connectivity. HSCC 2009: 470-474

skipping 11 more matches