Abstract is missing.
- An Unsupervised Spatiotemporal Graphical Modeling Approach to Anomaly Detection in Distributed CPSChao Liu, Sambuddha Ghosal, Zhanhong Jiang, Soumik Sarkar. 1-10 [doi]
- Cyber-Physical-Security Framework for Building Energy Management SystemKaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar, Jacobo Blanco, André Teixeira, Henrik Sandberg, Menouer Boubekeur. 1-9 [doi]
- Microgrid Losses: When the Whole Is Greater Than the Sum of Its PartsMaxim Buevich, Xiao Zhang, Oliver Shih, Dan Schnitzer, Tristan Escalada, Arthur Jacquiau-Chamski, Jon Thacker, Anthony Rowe. 1-10 [doi]
- Vulnerability of Transportation Networks to Traffic-Signal TamperingAron Laszka, Bradley Potteiger, Yevgeniy Vorobeychik, Saurabh Amin, Xenofon D. Koutsoukos. 1-10 [doi]
- Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing SystemsSujit Rokka Chhetri, Sina Faezi, Arquimedes Canedo, Mohammad Abdullah Al Faruque. 1 [doi]
- Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization ApproachZhiPeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen, Radha Poovendran. 1-10 [doi]
- Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System SpecificationHae Young Lee, So-Jin Lee. 1 [doi]
- Demo Abstract: HajjCPS - A Cyber Physical Environment for Providing Location-Aware Services to a Very Large CrowdMohamed Abdur Rahman, Akhlaq Ahmad. 1 [doi]
- Demo Abstract: Gesture-Based Cyber-Physical In-Home Therapy System in a Big Data EnvironmentMohamed Abdur Rahman. 1 [doi]
- WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic TechnologyFred Love, Bruce McMillin, Sivanesan Tulasidas, W. Balachandran. 1 [doi]
- On Learning How Players Learn: Estimation of Learning Dynamics in the Routing GameKiet Lam, Walid Krichene, Alexandre M. Bayen. 1-10 [doi]
- WiP Abstract: Preliminary Evaluation of ROS2Yuya Maruyama, Shinpei Kato, Takuya Azumi. 1 [doi]
- GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green DatacentersFanxin Kong, Xue Liu. 1-10 [doi]
- Real-Time Distribution Grid State Estimation with Limited Sensors and Load ForecastingRoel Dobbe, Daniel Arnold, Stephan Liu, Duncan S. Callaway, Claire J. Tomlin. 1-10 [doi]
- WiP Abstract: Human-Assisted Power Demand Forecasting Based on Action Plan DeclarationMasaki Igarashi, Atsushi Shimada, Hajime Nagahara, Rin-ichiro Taniguchi. 1 [doi]
- Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and ResilienceHimanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits. 1 [doi]
- Smart Rate Control and Demand Balancing for Electric Vehicle ChargingFanxin Kong, Xue Liu, Zhonghao Sun, Qinglong Wang. 1-10 [doi]
- Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System SecurityJiang Wan, Anthony Bahadir Lopez, Mohammad Abdullah Al Faruque. 1-10 [doi]
- WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPSSubhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale. 1 [doi]
- Control-Aware Random Access CommunicationKonstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. 1-9 [doi]
- Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy SystemsAjay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai. 1 [doi]
- WiP Abstract: Stabilizing Traffic with a Single Autonomous VehicleRaphael Stern, Daniel B. Work, S. Cui, H. Pohlmann, B. Seibold, Maria Laura Delle Monache, Benedetto Piccoli, Jonathan Sprinkle. 1 [doi]
- Estimation of Blood Oxygen Content Using Context-Aware FilteringRadoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee. 1-10 [doi]
- ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-As-A-Service SystemsChenyang Yuan, Jerome Thai, Alexandre M. Bayen. 1-10 [doi]
- WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support SystemToshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto, Tomoaki Akiyama. 1 [doi]
- Demo Abstract: Systematic Road Environment Generation for Vehicle Software SimulationBaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi. 1 [doi]
- Optimal Pesticide Scheduling in Precision AgricultureAustin Jones, Usman Ali, Magnus Egerstedt. 1-8 [doi]
- Acoustic Side-Channel Attacks on Additive Manufacturing SystemsMohammad Abdullah Al Faruque, Sujit Rokka Chhetri, Arquimedes Canedo, Jiang Wan. 1-10 [doi]
- Characterizing the Benefits and Limitations of Smart Building Meeting Room SchedulingAbhinandan Majumdar, Zhiru Zhang, David H. Albonesi. 1-10 [doi]
- SMT-Based Observer Design for Cyber-Physical Systems under Sensor AttacksYasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada. 1-10 [doi]
- Deep Value of Information Estimators for Collaborative Human-Machine Information GatheringKin Gwn Lore, Nicholas Sweet, Kundan Kumar, Nisar Ahmed, Soumik Sarkar. 1-10 [doi]
- Optimal False Data Injection Attack against Automatic Generation Control in Power GridsRui Tan, Hoang Hai Nguyen, Eddy. Y. S. Foo, Xinshu Dong, David K. Y. Yau, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, Hoay Beng Gooi. 1-10 [doi]
- WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT SolvingYunus Emre Sahin, Necmiye Ozay. 1 [doi]
- Poster Abstract: A Unified Distributed Control Framework for Inverter-Based Islanded MicrogridChin-Yao Chang, Wei Zhang, Jianming Lian. 1 [doi]
- Implan: Scalable Incremental Motion Planning for Multi-Robot SystemsIndranil Saha, Rattanachai Ramaithitima, Vijay Kumar 0001, George J. Pappas, Sanjit A. Seshia. 1-10 [doi]
- ✲-Aware Charging of Lithium-Ion Battery CellsLiang He, Eugene Kim, Kang G. Shin. 1-10 [doi]
- Performance-Driven Design of Engine Control TasksAlessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo. 1-10 [doi]
- Demo Abstract: Building IoT Applications with Accessors in CapeCodeMarten Lohstroh, Christopher X. Brooks, Edward A. Lee. 1 [doi]
- Eco-Friendly Automotive Climate Control and Navigation System for Electric VehiclesKorosh Vatanparvar, Mohammad Abdullah Al Faruque. 1-10 [doi]
- Wireless Routing and Control: A Cyber-Physical Case StudyBo Li, Yehan Ma, Tyler Westenbroek, Chengjie Wu, Humberto Gonzalez, Chenyang Lu. 1-10 [doi]
- WiP Abstract: A Novel Strategy for Active Cell BalancingSriram Vasudevan, Nitin Shivaraman, Arvind Easwaran. 1 [doi]
- Data-Driven Robust Taxi Dispatch ApproachesFei Miao, Shuo Han, Shan Lin, John A. Stankovic, Qian Wang, Desheng Zhang, Tian He, George J. Pappas. 1 [doi]
- Least-Violating Planning in Road Networks from Temporal Logic SpecificationsJana Tumova, Sertac Karaman, Calin Belta, Daniela Rus. 1-9 [doi]
- Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart ModelsChunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.. 1-10 [doi]
- Data-Driven Modeling, Control and Tools for Cyber-Physical Energy SystemsMadhur Behl, Achin Jain, Rahul Mangharam. 1-10 [doi]
- Poster Abstract: Unifying Modeling Substrate for Irrigation Cyber-Physical SystemsDavit Hovhannisyan, Fadi J. Kurdahi, Ahmed M. Eltawil, Amir Aghakouchak, Mohammad Abdullah Al Faruque. 1 [doi]