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

• 2012
• 
  Matthias Althoff, Bruce H. Krogh:
  Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54
• 
  Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak:
  Optimal scheduling for constant-rate multi-mode systems. HSCC 2012: 75-84
• 
  Aaron D. Ames, Eric A. Cousineau, Matthew J. Powell:
  Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics. HSCC 2012: 135-144
• 
  Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire J. Tomlin:
  Verification and control of hybrid systems using reachability analysis with machine learning. HSCC 2012: 1-2
• 
  Calin Belta:
  Formal methods for dynamical systems. HSCC 2012: 3-4
• 
  Massimo Benerecetti, Marco Faella, Stefano Minopoli:
  Reachability games for linear hybrid systems. HSCC 2012: 65-74
• 
  Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto:
  A symbolic approach to the design of nonlinear networked control systems. HSCC 2012: 255-264
• 
  Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
  Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274
• 
  Alessandro Colombo, Domitilla Del Vecchio:
  Efficient algorithms for collision avoidance at intersections. HSCC 2012: 145-154
• 
  Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen:
  Robust PCTL model checking. HSCC 2012: 275-286
• 
  Parasara Sridhar Duggirala, Sayan Mitra:
  Lyapunov abstractions for inevitability of hybrid systems. HSCC 2012: 115-124
• 
  Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits:
  NCSWT: an integrated modeling and simulation tool for networked control systems. HSCC 2012: 287-290
• 
  Ebru Aydin Gol, Mircea Lazar, Calin Belta:
  Language-guided controller synthesis for discrete-time linear systems. HSCC 2012: 95-104
• 
  Zhenqi Huang, Sayan Mitra:
  Computing bounded reach sets from sampled simulation traces. HSCC 2012: 291-294
• 
  Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont:
  Computing the viability kernel using maximal reachable sets. HSCC 2012: 55-64
• 
  Heath LeBlanc, Xenofon D. Koutsoukos:
  Low complexity resilient consensus in networked multi-agent systems with adversaries. HSCC 2012: 5-14
• 
  Lichun Li, Xiaofeng Wang, Michael D. Lemmon:
  Stabilizing bit-rates in quantized event triggered control systems. HSCC 2012: 245-254
• 
  Linar Mikeev, Verena Wolf:
  Parameter estimation for stochastic hybrid models of biochemical reaction networks. HSCC 2012: 155-166
• 
  Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
  Pre-orders for reasoning about stability. HSCC 2012: 197-206
• 
  Vamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen:
  Efficient computation of generalized input-to-state ℒ₂-gains of discrete-time switched linear systems. HSCC 2012: 177-186
• 
  Akshay Rajhans, Bruce H. Krogh:
  Heterogeneous verification of cyber-physical systems using behavior relations. HSCC 2012: 35-44
• 
  Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura:
  Transcendental inductive invariants generation for non-linear differential and hybrid systems. HSCC 2012: 25-34
• 
  Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron:
  A generic ellipsoid abstract domain for linear time invariant systems. HSCC 2012: 105-114
• 
  Sriram Sankaranarayanan, Georgios Fainekos:
  Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC 2012: 125-134
• 
  Peter Schrammel, Bertrand Jeannet:
  From hybrid data-flow languages to hybrid automata: a complete translation. HSCC 2012: 167-176
• 
  Zhikun She, Bai Xue:
  Algebraic analysis on asymptotic stability of switched hybrid systems. HSCC 2012: 187-196
• 
  Christoffer Sloth, George J. Pappas, Rafael Wisniewski:
  Compositional safety analysis using barrier certificates. HSCC 2012: 15-24
• 
  Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
  Probabilistic invariance of mixed deterministic-stochastic dynamical systems. HSCC 2012: 207-216
• 
  Ilya Tkachev, Alessandro Abate:
  Regularization of bellman equations for infinite-horizon probabilistic properties. HSCC 2012: 227-236
• 
  Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray:
  On synthesizing robust discrete controllers under modeling uncertainty. HSCC 2012: 85-94

skipping 3 more matches