default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. 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, Murat Arcak:
Freeway traffic control from linear temporal logic specifications. 36-47 - Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
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, Or D. Dantsker, Marco Caccamo, Michael S. Selig:
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, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
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, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. 163-174 - Mohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri:
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, Michael B. Zeagler:
Human-inspired multi-contact locomotion with AMBER2. 199-210 - Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
WiP abstract: Conformance testing as falsification for cyber-physical systems. 211 - Mohamed Abdelkader, Mohammad Shaqura, Mehdi Ghommem:
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, Xue Liu, Abhijit Davare, Marco Di Natale:
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, Christoph Gugg, Paul O'Leary:
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, Ragunathan Rajkumar:
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, Matthias Wildemeersch, Henk Wymeersch:
WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersections. 223 - Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng:
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, Dewayne E. Perry, Christine Julien:
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-10-18 19:17 CEST 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:
