Abstract is missing.
- Sampling-based control synthesis for multi-robot systems under global temporal specificationsYiannis Kantaros, Michael M. Zavlanos. 3-13 [doi]
- Formal synthesis of distributed optimal traffic control policiesSadra Sadraddini, János Rudan, Calin Belta. 15-24 [doi]
- Multi-objective optimal control with safety as a priorityKendra Lesser, Alessandro Abate. 25-36 [doi]
- Enhancing tolerance to unexpected jumps in GR(1) gamesSumanth Dathathri, Scott C. Livingston, Richard M. Murray. 37-47 [doi]
- Battery state-of-health estimation for mobile devicesLiang He, Eugene Kim, Kang G. Shin, Guozhu Meng, Tian He. 51-60 [doi]
- SunShade: enabling software-defined solar-powered systemsAkansha Singh, Stephen Lee, David E. Irwin, Prashant J. Shenoy. 61-70 [doi]
- Distributed placement of power generation resources in uncertain environmentsGaurav Gupta, Paul Bogdan. 71-79 [doi]
- A physiology-aware communication architecture for distributed emergency medical CPSMohammad Hosseini, Richard R. Berlin, Lui Sha. 83 [doi]
- Cybermanufacturing in the shared economyShivakumar Sastry, Aniruddha S. Gokhale. 85 [doi]
- Diagnostics and prognostics using temporal causal models for cyber physical energy systemsAjay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai. 87 [doi]
- Towards a framework for comprehensive and systematic reliability evaluation of building management systemsSanja Lazarova-Molnar. 89 [doi]
- Transactive energy demo with RIAPS platformScott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan Lukic. 91 [doi]
- Platform for security-aware design of human-on-the-loop cyber-physical systemsMahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, M. L. Cummings, Miroslav Pajic. 93 [doi]
- Constructing compact causal mathematical models for complex dynamicsYuankun Xue, Paul Bogdan. 97-107 [doi]
- Analyzing neighborhoods of falsifying traces in cyber-physical systemsRam Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi. 109-119 [doi]
- Abstraction based reachability analysis for finite branching stochastic hybrid systemsWenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan. 121-130 [doi]
- A Gaussian process regression approach to model aircraft engine fuel flow rateYashovardhan S. Chati, Hamsa Balakrishnan. 131-140 [doi]
- VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systemsMan-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha. 143-154 [doi]
- Resilient linear classification: an approach to deal with attacks on training dataSangdon Park, James Weimer, Insup Lee. 155-164 [doi]
- Resilient sensor placement for fault localization in water distribution networksWaseem Abbas, Lina Sela Perelman, Saurabh Amin, Xenofon D. Koutsoukos. 165-174 [doi]
- Privacy-enhanced architecture for occupancy-based HVAC ControlRuoxi Jia, Roy Dong, S. Shankar Sastry, Costas J. Spanos. 177-186 [doi]
- A submodular optimization approach to controlled islanding under cascading failureZhiPeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran. 187-196 [doi]
- Application and system-level software fault tolerance through full system restartsFardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo. 197-206 [doi]
- Hardware module-based message authentication in intra-vehicle networksEric Wang, William Xu, Suhas Sastry, Songsong Liu, Kai Zeng. 207-216 [doi]
- A merging protocol for self-driving vehiclesShunsuke Aoki, Ragunathan (Raj) Rajkumar. 219-228 [doi]
- GreenDrive: a smartphone-based intelligent speed adaptation system with real-time traffic signal predictionYiran Zhao, Shen Li, Shaohan Hu, Lu Su, Shuochao Yao, Huajie Shao, Hongwei Wang, Tarek F. Abdelzaher. 229-238 [doi]
- DRONA: a framework for safe distributed mobile roboticsAnkush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia. 239-248 [doi]
- Provably-correct coordination of large collections of agents with counting temporal logic constraintsYunus Emre Sahin, Petter Nilsson, Necmiye Ozay. 249-258 [doi]
- Data-driven distributionally robust vehicle balancing using dynamic region partitionsFei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas. 261-271 [doi]
- Markov decision process routing gamesDaniel J. Calderone, S. Shankar Sastry. 273-279 [doi]
- QuActive: a quality of activities monitoring and notification systemIfat Afrin Emi, Md. Abu Sayeed Mondol, John A. Stankovic. 281-291 [doi]
- Personalization without user interruption: boosting activity recognition in new subjects using unlabeled dataRamin Fallahzadeh, Hassan Ghasemzadeh. 293-302 [doi]