Abstract is missing.
- Modeling mobility for networked mobile cyber-physical systemsMohannad A. Alharthi, Abd-Elhamid M. Taha. 1-6 [doi]
- Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithmChristian Berger 0001. 7-10 [doi]
- Controller/platform co-design of networked control systems based on density functionsTobias Bund, Frank Slomka. 11-14 [doi]
- Cyber-physical cloud computing implemented as PaaSClemens Krainer, Christoph M. Kirsch. 15-18 [doi]
- Drive-by-wireless with the eCar demonstratorHauke Stähle, Kai Huang 0001, Alois Knoll. 19-22 [doi]
- aLS-Coop-Loc: cooperative combined localization and time-synchronization in underwater acoustic networksWouter van Kleunen, Nirvana Meratnia, Paul J. M. Havinga. 23-26 [doi]
- Complex systems techniques for cyber-physical systems: position paperManuela L. Bujorianu, Robert S. Mackay. 27-30 [doi]
- An undergraduate cyber-physical systems courseAlbert M. K. Cheng. 31-34 [doi]
- Towards a model-based development approach for wireless sensor-actuator network protocolsS. A. Ajith Kumar, Kent Inge Fagerland Simonsen. 35-39 [doi]
- Reducing the wrapping effect in flowpipe construction using pseudo-invariantsStanley Bak. 40-43 [doi]
- Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networksWilliam Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale. 44-47 [doi]
- Model-based design and analysis of a reconfigurable continuous-culture bioreactorLuan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson. 48-51 [doi]
- Model predictive control from signal temporal logic specifications: a case studyVasumathi Raman, Mehdi Maasoumy, Alexandre Donzé. 52-55 [doi]
- Towards a theory for cyber-physical systems modelingGabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits. 56-61 [doi]