default search action
5. ICCPS 2014: Berlin, Germany
- ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4931-1
- Seyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige:
STIP: Spatio-temporal intersection protocols for autonomous vehicles. 1-12 - Madhur Behl, Truong X. Nghiem
, Rahul Mangharam:
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. 13-24 - Hongxu Chen, Sayan Mitra
Synthesis and verification of motor-transmission shift controller for electric vehicles. 25-35 - Samuel Coogan
Freeway traffic control from linear temporal logic specifications. 36-47 - Konstantinos Gatsis
Opportunistic scheduling of control tasks over shared wireless channels. 48-59 - Liang He, Linghe Kong, Siyu Lin, Shaodong Ying, Yu Gu, Tian He, Cong Liu:
Reconfiguration-assisted charging in large-scale Lithium-ion battery systems. 60-71 - Eugene Kim, Kang G. Shin, Jinkyu Lee:
Real-time battery thermal management for electric vehicles. 72-83 - Amy LaViers, Magnus Egerstedt:
Style-based abstractions for human motion classification. 84-91 - Jerome Le Ny, Ahmed Touati, George J. Pappas
Real-time privacy-preserving model-based estimation of traffic flows. 92-102 - Renato Mancuso
A low-power architecture for high frequency sensor acquisition in many-DOF UAVs. 103-114 - Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. 115-126 - Sirajum Munir, John A. Stankovic:
DepSys: Dependency aware integration of cyber-physical systems for smart homes. 127-138 - Anitha Murugesan
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 139-150 - Hoang Hai Nguyen, Rui Tan, David K. Y. Yau:
Safety-assured collaborative load management in smart grids. 151-162 - Miroslav Pajic
Robustness of attack-resilient state estimators. 163-174 - Mohammad Ashiqur Rahman
A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. 175-186 - Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
Supervisor synthesis in model-based automotive systems engineering. 187-198 - Huihua Zhao, Wen-Loong Ma, Aaron D. Ames
Human-inspired multi-contact locomotion with AMBER2. 199-210 - Houssam Abbas, Bardh Hoxha, Georgios Fainekos
WiP abstract: Conformance testing as falsification for cyber-physical systems. 211 - Mohamed Abdelkader
WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applications. 212 - Markus Becker, Christoph Kuznik, Wolfgang Müller:
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. 213 - Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee:
Demo abstract: ROSLab - A modular programming environment for robotic applications. 214 - Peng Deng, Anastasios I. Mourikis, Qi Zhu
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. 215 - Alireza Dirafzoon, Joseph Betthauser, Jeff Schornick, Jeremy Cole, Alper Bozkurt, Edgar J. Lobaton
Poster abstract: Cyborg-insect networks for mapping of unknown environments. 216 - Matthew Harker
WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systems. 217 - Yu Ikemoto, Koichiro Iijima, Takashi Fukumoto, Masahiro Yoshioka:
WiP abstract: Supply-demand planning method in cooperation with factory production schedule aimed at the realization of Symbiosis-autonomous decentralized system. 218 - Junsung Kim, Young-Woo Seo, Hyoseung Kim
WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributes. 219 - Maxime Louvel, Anca Molnos, Julien Mottin, François Pacull, Tiana A. Rakotovao
Poster abstract: Distributed coordination of sub-systems power-modes and software-modes. 220 - Jeffrey Plourde, David Arney, Julian M. Goldman
OpenICE: An open, interoperable platform for medical cyber-physical systems. 221 - Yannis Soupionis, Thierry Benoist:
Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment. 222 - Erik Steinmetz
WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersections. 223 - Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. 224 - Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems. 226 - Jiaxing Zhang, Hanjiao Qiu, Salar Shahini Shamsabadi, Ralf Birken, Gunar Schirner:
WiP abstract: System-level integration of mobile multi-modal multi-sensor systems. 227 - Xi Zheng
WiP abstract: BraceForce: Software engineering support for sensing in CPS applications. 228
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:44 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: