default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICCPS 2022: Milano, Italy
- 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. IEEE 2022, ISBN 978-1-6654-0967-4
- H. J. C. Kroep, Vineet Gokhale, R. Venkatesha Prasad
:
Blind Spots of Objective Measures: Exploiting Imperceivable Errors for Immersive Tactile Internet. 1-10 - Cameron Hickert, Ali Tekeoglu, Ryan Watson, Joseph Maurio, Daniel P. Syed, Jeffrey S. Chavis, Gill Brown, Tamim Sookoor:
Trust Me, I'm Lying: Enhancing Machine-to-Machine Trust. 1-2 - Abolfazl Karimi, Parasara Sridhar Duggirala:
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. 1-11 - Rahul Bhadani, Jonathan Sprinkle, K. Larry Head:
Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal Controller. 1-2 - Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. 1-12 - Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak:
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. 24-33 - Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. 34-45 - Jihoon Yun, Sangeeta Srivastava, Dhrubojyoti Roy, Nathan Stohs, Charlie Mydlarz, Mahin Salman, Bea Steers, Juan Pablo Bello, Anish Arora:
Infrastructure-free, Deep Learned Urban Noise Monitoring at ~100mW. 56-67 - Arnav Vaibhav Malawade, Trier Mortlock, Mohammad Abdullah Al Faruque:
HydraFusion: Context-Aware Selective Sensor Fusion for Robust and Efficient Autonomous Vehicle Perception. 68-79 - Qitong Gao, Stephen L. Schmidt, Karthik Kamaravelu, Dennis A. Turner, Warren M. Grill, Miroslav Pajic:
Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. 80-91 - Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. 92-103 - Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran:
Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart. 104-115 - Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh:
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. 116-126 - Christian Llanes, Matthew Abate, Samuel Coogan:
Safety from Fast, In-the-Loop Reachability with Application to UAVs. 127-136 - Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. 137-146 - Michael Wilbur, Salah Uddin Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey:
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services. 147-158 - Ruihang Wang, Xinyi Zhang, Xin Zhou, Yonggang Wen, Rui Tan:
Toward Physics-Guided Safe Deep Reinforcement Learning for Green Data Center Cooling Control. 159-169 - Shenghui Chen, Kayla Boggess, David Parker, Lu Feng:
Multi-Objective Controller Synthesis with Uncertain Human Preferences. 170-180 - Hsin-Yu Liu, Bharathan Balaji, Sicun Gao, Rajesh K. Gupta, Dezhi Hong:
Safe HVAC Control via Batch Reinforcement Learning. 181-192 - Takuma Yabe, Takuya Azumi:
Exploring the Performance of Deep Neural Networks on Embedded Many-Core Processors. 193-202 - Fan Yang, Zhiwei Shi, Sixian Ye, Jiazhong Qian, Wenjie Wang, Dong Xuan:
VaRSM: Versatile Autonomous Racquet Sports Machine. 203-214 - Mohammad Jaminur Islam, Jose Paolo Talusan, Shameek Bhattacharjee, Francis Tiausas, Sayyed Mohsen Vazirizade, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das:
Anomaly based Incident Detection in Large Scale Smart Transportation Systems. 215-224 - Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee:
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. 225-235 - Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A Dynamic Obfuscation Framework for Security and Utility. 236-246 - Brayden McDonald, Frank Mueller:
T-SYS: Timed-Based System Security for Real-Time Kernels. 247-258 - Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. 259-269 - Aqsa Kashaf, Vyas Sekar, Yuvraj Agarwal:
Protecting Smart Homes from Unintended Application Actions. 270-281 - Florian Hofer:
IEC 61131-3 Software Testing - Automatic test generation for native applications. 282-283 - Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer:
Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial Drones. 284-285 - Vlada Dementyeva, Cameron Hickert, Nicolas R. Sarfaraz, Sebastián A. Zanlongo, Tamim Sookoor:
Runtime Assurance for Intelligent Cyber-Physical Systems. 288-289 - Ryan Silva, Cameron Hickert, Nicolas R. Sarfaraz, Jeff Brush, Josh Silbermann, Tamim Sookoor:
AlphaSOC: Reinforcement Learning-based Cybersecurity Automation for Cyber-Physical Systems. 290-291 - Matthew Nice, Derek Gloudemans, Dan Work:
Automated Vehicle Multi-Object Tracking at Scale with CAN. 292-293 - Bharath Sudharsan, Panchakarla S. Rahul, Piyush Yadav, Suneet Kumar Gupta, Vimal Kumar, Duc-Duy Nguyen, Muhammad Intizar Ali, John G. Breslin:
RIS-IoT: Towards Resilient, Interoperable, Scalable IoT. 296-297 - Soumya Vasisht, Aowabin Rahman, Thiagarajan Ramachandran, Arnab Bhattacharya, Veronica Adetola:
Multi-fidelity Bayesian Optimization for Co-design of Resilient Cyber-Physical Systems. 298-299 - Wenqiang Chen, Ziqi Wang, Pengrui Quan, Zhencan Peng, Shupei Lin, Mani B. Srivastava, John A. Stankovic:
Making Vibration-based On-body Interaction Robust. 300-301 - Abhinav Chawla, Stanley Bak:
CPS Testing using Stateless RRT. 302-303 - Emmanouil Samanis, Joseph Gardiner, Awais Rashid:
Adaptive Cyber Security for Critical Infrastructure. 304-305 - Truls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova, Martin Törngren:
Evaluating Sequential Reasoning about Hidden Objects in Traffic. 306-307 - Georgios Bakirtzis, Ufuk Topcu:
AlgebraicSystems: Compositional Verification for Autonomous System Design. 308-309 - Michele Lora, Pierluigi Nuzzo:
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. 310-311 - Kate Sanborn, Alex Richardson, Jonathan Sprinkle:
Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives. 312-313 - Upinder Kaur, Z. Berkay Celik, Richard M. Voyles:
Robust and Energy Efficient Malware Detection for Robotic Cyber-Physical Systems. 314-315 - Nilotpal Chakraborty, Roshni Chakraborty, Ezhil Kalaimannan:
Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid. 316-317 - Yushi Ogiwara, Ayanori Yorozu, Akihisa Ohya, Hideyuki Kawashima:
Making ROS TF Transactional. 318-319 - Wei Wang, Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. 320-321 - Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. 322-323
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-24 20:18 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:
