Abstract is missing.
- STIP: Spatio-temporal intersection protocols for autonomous vehiclesSeyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige. 1-12 [doi]
- Model-IQ: Uncertainty propagation from sensing to modeling and control in buildingsMadhur Behl, Truong X. Nghiem, Rahul Mangharam. 13-24 [doi]
- Synthesis and verification of motor-transmission shift controller for electric vehiclesHongxu Chen, Sayan Mitra. 25-35 [doi]
- Freeway traffic control from linear temporal logic specificationsSamuel Coogan, Murat Arcak. 36-47 [doi]
- Opportunistic scheduling of control tasks over shared wireless channelsKonstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas. 48-59 [doi]
- Reconfiguration-assisted charging in large-scale Lithium-ion battery systemsLiang He, Linghe Kong, Siyu Lin, Shaodong Ying, Yu Gu 0001, Tian He, Cong Liu. 60-71 [doi]
- Real-time battery thermal management for electric vehiclesEugene Kim, Kang G. Shin, JinKyu Lee. 72-83 [doi]
- Style-based abstractions for human motion classificationAmy LaViers, Magnus Egerstedt. 84-91 [doi]
- Real-time privacy-preserving model-based estimation of traffic flowsJerome Le Ny, Ahmed Touati, George J. Pappas. 92-102 [doi]
- A low-power architecture for high frequency sensor acquisition in many-DOF UAVsRenato Mancuso, Or D. Dantsker, Marco Caccamo, Michael S. Selig. 103-114 [doi]
- Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systemsRamy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister. 115-126 [doi]
- DepSys: Dependency aware integration of cyber-physical systems for smart homesSirajum Munir, John A. Stankovic. 127-138 [doi]
- Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safetyAnitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee. 139-150 [doi]
- Safety-assured collaborative load management in smart gridsHoang Hai Nguyen, Rui Tan, David K. Y. Yau. 151-162 [doi]
- Robustness of attack-resilient state estimatorsMiroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas. 163-174 [doi]
- A formal model for verifying the impact of stealthy attacks on optimal power flow in power gridsMohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri. 175-186 [doi]
- Supervisor synthesis in model-based automotive systems engineeringJoanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers. 187-198 [doi]
- Human-inspired multi-contact locomotion with AMBER2Huihua Zhao, Wen-Loong Ma, Aaron D. Ames, Michael B. Zeagler. 199-210 [doi]
- WiP abstract: Conformance testing as falsification for cyber-physical systemsHoussam Abbas, Bardh Hoxha, Georgios E. Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda. 211 [doi]
- WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applicationsMohamed Abdelkader, Mohammad Shaqura, Mehdi Ghommem. 212 [doi]
- WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systemsMarkus Becker, Christoph Kuznik, Wolfgang Mueller. 213 [doi]
- Demo abstract: ROSLab - A modular programming environment for robotic applicationsNicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee. 214 [doi]
- WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systemsPeng Deng, Anastasios Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale. 215 [doi]
- Poster abstract: Cyborg-insect networks for mapping of unknown environmentsAlireza Dirafzoon, Joseph Bethhauser, Jeff Schornick, Jeremy Cole, Alper Bozkurt, Edgar J. Lobaton. 216 [doi]
- WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systemsMatthew Harker, Christoph Gugg, Paul O'Leary. 217 [doi]
- WiP abstract: Supply-demand planning method in cooperation with factory production schedule aimed at the realization of Symbiosis-autonomous decentralized systemYu Ikemoto, Koichiro Iijima, Takashi Fukumoto, Masahiro Yoshioka. 218 [doi]
- WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributesJunsung Kim, Young-Woo Seo, Hyoseung Kim, Ragunathan Rajkumar. 219 [doi]
- Poster abstract: Distributed coordination of sub-systems power-modes and software-modesMaxime Louvel, Anca Molnos, Julien Mottin, François Pacull, Tiana Rakotovao. 220 [doi]
- OpenICE: An open, interoperable platform for medical cyber-physical systemsJeffrey Plourde, David Arney, Julian M. Goldman. 221 [doi]
- Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environmentYannis Soupionis, Thierry Benoist. 222 [doi]
- WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersectionsErik Steinmetz, Matthias Wildemeersch, Henk Wymeersch. 223 [doi]
- WiP abstract: A framework on profiling cross-domain noise propagation in control CPSFeng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng. 224 [doi]
- WiP abstract: A treatment coordination protocol for cyber-physical-human medical systemsPo-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman. 226 [doi]
- WiP abstract: System-level integration of mobile multi-modal multi-sensor systemsJiaxing Zhang, Hanjiao Qiu, Salar Shahini Shamsabadi, Ralf Birken, Gunar Schirner. 227 [doi]
- WiP abstract: BraceForce: Software engineering support for sensing in CPS applicationsXi Zheng, Dewayne E. Perry, Christine Julien. 228 [doi]