Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICCPS 2019: Montreal, QC, Canada
- Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell:
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6285-6
CPS security I
- Key-whan Chung
, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer:
Availability attacks on computing systems through alteration of environmental control: smart malware approach. 1-12 - Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing stealthy reprogramming attacks on cardiac devices. 13-22 - Xuhang Ying, Giuseppe Bernieri, Mauro Conti, Radha Poovendran:
TACAN: transmitter authentication through covert channels in controller area networks. 23-34 - Liuwang Kang, Haiying Shen:
Preventing battery attacks on electrical vehicles based on data-driven behavior modeling. 35-46
Control design, analysis, and implementation
- Luis Garcia, Stefan Mitsch, André Platzer:
HyPLC: hybrid programmable logic controller program translation for verification. 47-56 - Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey:
PGCD: robot programming and verification with geometry, concurrency, and dynamics. 57-66 - Jeffrey M. Fischer, Rupak Majumdar:
Programming event processors with thingflow. 67-76
Wireless control in CPS
- Yehan Ma, Jianlin Guo, Yebin Wang, Ankush Chakrabarty, Heejin Ahn, Philip V. Orlik, Chenyang Lu:
Optimal dynamic scheduling of wireless networked control systems. 77-86 - Dohwan Kim, Yuchang Won, Seunghyeon Kim, Yongsoon Eun, Kyung-Joon Park, Karl Henrik Johansson:
Sampling rate optimization for IEEE 802.11 wireless control systems. 87-96 - Fabian Mager, Dominik Baumann, Romain Jacob, Lothar Thiele, Sebastian Trimpe, Marco Zimmerling:
Feedback control goes wireless: guaranteed stability over low-power multi-hop networks. 97-108 - Onur Ayan, Mikhail Vilgelm, Markus Klügel, Sandra Hirche, Wolfgang Kellerer:
Age-of-information vs. value-of-information scheduling for cellular networked control systems. 109-117
CPS security II
- Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour:
Managing the security-energy tradeoff in distributed cyber-physical systems. 118-128 - Andreea B. Alexandru, George J. Pappas:
Encrypted LQG using labeled homomorphic encryption. 129-140 - Song Fang, Karl Henrik Johansson, Mikael Skoglund, Henrik Sandberg, Hideaki Ishii:
Two-way coding in control systems under injection attacks: from attack detection to attack correction. 141-150
CPS applications I
- Praveen Venkateswaran, Mahima Agumbe Suresh, Nalini Venkatasubramanian:
Augmenting in-situ with mobile sensing for adaptive monitoring of water distribution networks. 151-162 - Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam:
Robustness evaluation of computer-aided clinical trials for medical devices. 163-173 - Ali Akbari, Peiming Liu, Bobak J. Mortazavi, Roozbeh Jafari:
Tagging wearable accelerometers in camera frames through information translation between vision sensors and accelerometers. 174-184 - Ayan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik:
An online decision-theoretic pipeline for responder dispatch. 185-196
CPS application II (power grid mobile)
- Maxim Buevich, Anthony Rowe:
Localizing loads in microgrids using high-precision voltage phase. 197-206 - Xin Lou, Cuong Tran, Rui Tan, David K. Y. Yau, Zbigniew T. Kalbarczyk:
Assessing and mitigating impact of time delay attack: a case study for power grid frequency control. 207-216 - Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio:
Modeling of energy consumption in GPS receivers for power aware localization systems. 217-226 - Liang He, Youngmoon Lee, Eugene Kim, Kang G. Shin:
Environment-aware estimation of battery state-of-charge for mobile devices. 227-236
Learning for CPS
- Qitong Gao, Davood Hajinezhad, Yan Zhang, Yiannis Kantaros, Michael M. Zavlanos:
Reduced variance deep reinforcement learning with temporal logic specifications. 237-248 - Xiaozhe Gu, Arvind Easwaran:
Towards safe machine learning for CPS: infer uncertainty from training data. 249-258 - Ruochen Yang, Gaurav Gupta, Paul Bogdan:
Data-driven perception of neuron point process with unknown unknowns. 259-269
Smart transportation
- Wei Xiao, Calin Belta, Christos G. Cassandras:
Decentralized merging control in traffic networks: a control barrier function approach. 270-279 - Rahul Bhadani, Matthew R. Bunting, Benjamin Seibold, Raphael E. Stern, Shumo Cui, Jonathan Sprinkle, Benedetto Piccoli, Daniel B. Work:
Real-time distance estimation and filtering of vehicle headways for smoothing of traffic waves. 280-290 - Kathy Jang, Eugene Vinitsky, Behdad Chalaki, Ben Remer, Logan Beaver, Andreas A. Malikopoulos, Alexandre M. Bayen:
Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles. 291-300
Work-in-progress/poster/demo abstracts
- Shen Wang, Ahmad F. Taha, Nikolaos Gatsis, Marcio H. Giacomoni:
Control of water distribution networks using convex approximations: WIP abstract. 301 - Yang Zhao, Ming-Ching Chang, Peter H. Tu:
Deep intelligent network for device-free people tracking: WIP abstract. 302-303 - Sebastian A. Nugroho, Ahmad F. Taha:
On the need for sensor and actuator placement algorithms in nonlinear systems: WIP abstract. 304-305 - Sota Takashima, Naomi Kuze, Toshimitsu Ushio:
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract. 306-307 - Shota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Keita Miura, Takuya Azumi:
MATLAB/Simulink benchmark suite for ROS-based self-driving system: demo abstract. 308-309 - Xiang Yin, Majid Zamani:
Towards approximate opacity of cyber-physical system: WIP abstract. 310-311 - Ronny Seiger, Uwe Aßmann:
Consistency and synchronization for workflows in cyber-physical systems: poster abstract. 312-313 - Nayreet Islam, Akramul Azim:
Feature characterization for CPS software reuse. 314-315 - Anh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi:
FPGA-Based amoeba-inspired SAT solver for cyber-physical systems. 316-317 - Ariadna Estrada, Ian M. Mitchell:
Towards an emotionally-aware smart wheelchair: poster abstract. 318-319 - Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks:
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. 320-321 - Ellin Zhao, Roykrong Sukkerd:
Interactive explanation for planning-based systems: WIP abstract. 322-323 - Daniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam:
Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract. 324-325 - Minji Kim, Hee-Jung Yoon, Sang Hyuk Son, Yongsoon Eun:
Data-based model of metro scheduling for passenger wait-time optimization with constraints: WIP abstract. 326-327 - George Gunter, Yanbing Wang, Derek Gloudemans, Raphael E. Stern, Daniel B. Work, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Roman Lysecky, Jonathan Sprinkle, Benjamin Seibold, Benedetto Piccoli:
String stability of commercial adaptive cruise control vehicles: WIP abstract. 328-329 - Ramanunni P. Menon, Frédéric Amblard, Jessen Page:
Implementation of demand response for a block of buildings for active participation in the electricity market. 330-331 - Sean Kauffman, Sebastian Fischmeister:
Event stream abstraction using nfer: demo abstract. 332-333 - Sirat Samyoun, Md. Abu Sayeed Mondol, Ifat Afrin Emi, John A. Stankovic:
iAdhere: A voice interactive assistant to improve adherence to medical treatments: demo abstract. 334-335 - Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik:
Incident management and analysis dashboard for fire departments: ICCPS demo. 336-337 - Huan Yang, Liang Cheng, Xiaoguang Ma:
Bounding network-induced delays for time-critical services in avionic systems using measurements and network calculus. 338-339 - Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas:
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. 340-341 - Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai:
A CPS toolchain for learning-based systems: demo abstract. 342-343 - Takafumi Harada, Keita Hasegawa, Yuichiro Dan, Tomoaki Washio, Yoshihito Oshima:
Security analysis for cits-soc using sensor data from connected vehicles: demo abstract. 344-345 - Mahdi Maaref, Joe Khalife, Zaher M. Kassas:
Pseudorange measurement outlier detection for navigation with cellular signals: WIP abstract. 346-347 - Luis Garcia, Stefan Mitsch, André Platzer:
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. 348-349 - Sara P. Rimer, Abhiram Mullapudi, Sara C. Troutman, Branko Kerkez:
A benchmarking framework for control and optimization of smart stormwater networks: demo abstract. 350-351
a service of 
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-06-10 21:40 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:
