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

• 2014
• 
  Christian Berger:
  Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm. CyPhy 2014: 7-10
• 
  Mohannad A. Alharthi, Abd-Elhamid M. Taha:
  Modeling mobility for networked mobile cyber-physical systems. CyPhy 2014: 1-6
• 
  Stanley Bak:
  Reducing the wrapping effect in flowpipe construction using pseudo-invariants. CyPhy 2014: 40-43
• 
  Manuela-Luminita Bujorianu, Robert S. MacKay:
  Complex systems techniques for cyber-physical systems: position paper. CyPhy 2014: 27-30
• 
  Tobias Bund, Frank Slomka:
  Controller/platform co-design of networked control systems based on density functions. CyPhy 2014: 11-14
• 
  Albert M. K. Cheng:
  An undergraduate cyber-physical systems course. CyPhy 2014: 31-34
• 
  William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale:
  Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. CyPhy 2014: 44-47
• 
  Wouter van Kleunen, Nirvana Meratnia, Paul J. M. Havinga:
  aLS-Coop-Loc: cooperative combined localization and time-synchronization in underwater acoustic networks. CyPhy 2014: 23-26
• 
  Clemens Krainer, Christoph M. Kirsch:
  Cyber-physical cloud computing implemented as PaaS. CyPhy 2014: 15-18
• 
  Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen:
  Towards a model-based development approach for wireless sensor-actuator network protocols. CyPhy 2014: 35-39
• 
  Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson:
  Model-based design and analysis of a reconfigurable continuous-culture bioreactor. CyPhy 2014: 48-51
• 
  Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé:
  Model predictive control from signal temporal logic specifications: a case study. CyPhy 2014: 52-55
• 
  Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits:
  Towards a theory for cyber-physical systems modeling. CyPhy 2014: 56-61
• 
  Hauke Stähle, Kai Huang, Alois C. Knoll:
  Drive-by-wireless with the eCar demonstrator. CyPhy 2014: 19-22
• 
  Ralf Lämmel, Walid Taha:
  Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014. ACM 2014, ISBN 978-1-4503-2871-5 [contents]