default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. CyPhy 2014: Berlin, Germany
- 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
Regular research papers
- Mohannad A. Alharthi, Abd-Elhamid M. Taha:
Modeling mobility for networked mobile cyber-physical systems. 1-6 - Christian Berger:
Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm. 7-10 - Tobias Bund, Frank Slomka:
Controller/platform co-design of networked control systems based on density functions. 11-14 - Clemens Krainer, Christoph M. Kirsch:
Cyber-physical cloud computing implemented as PaaS. 15-18 - Hauke Stähle, Kai Huang, Alois C. Knoll:
Drive-by-wireless with the eCar demonstrator. 19-22 - Wouter van Kleunen, Nirvana Meratnia, Paul J. M. Havinga:
aLS-Coop-Loc: cooperative combined localization and time-synchronization in underwater acoustic networks. 23-26
Position papers
- Manuela-Luminita Bujorianu, Robert S. MacKay:
Complex systems techniques for cyber-physical systems: position paper. 27-30 - Albert M. K. Cheng
:
An undergraduate cyber-physical systems course. 31-34 - Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen:
Towards a model-based development approach for wireless sensor-actuator network protocols. 35-39
Work-in-progress reports
- Stanley Bak:
Reducing the wrapping effect in flowpipe construction using pseudo-invariants. 40-43 - William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale:
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. 44-47 - 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. 48-51 - Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé:
Model predictive control from signal temporal logic specifications: a case study. 52-55 - Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits:
Towards a theory for cyber-physical systems modeling. 56-61
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
