- 2018
- Kai Li, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar:
Cooperative key generation for data dissemination in cyber-physical systems. ICCPS 2018: 331-332 - Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo:
Guaranteed physical security with restart-based design for cyber-physical systems. ICCPS 2018: 10-21 - Shunsuke Aoki, Ragunathan Raj Rajkumar:
Dynamic intersections and self-driving vehicles. ICCPS 2018: 320-330 - Nicola Bezzo:
Predicting malicious intention in CPS under cyber-attack. ICCPS 2018: 351-352 - Eva Darulova, Einar Horn, Saksham Sharma:
Sound mixed-precision optimization with rewriting. ICCPS 2018: 208-219 - Sankar Narayan Das, Indranil Saha:
Rhocop: receding horizon multi-robot coverage. ICCPS 2018: 174-185 - Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter optimization in control software using statistical fault localization techniques. ICCPS 2018: 220-231 - A. Sanand Amita Dilip, Nikolaos Athanasopoulos, Raphaël M. Jungers:
The impact of packet dropouts on the reachability energy. ICCPS 2018: 198-207 - Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay:
Optimal input design for affine model discrimination with applications in intention-aware vehicles. ICCPS 2018: 297-307 - Maxence Dutreix, Samuel Coogan:
Efficient verification for stochastic mixed monotone systems. ICCPS 2018: 150-161 - Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262 - Gaurav Gupta, Sérgio Daniel Pequito, Paul Bogdan:
Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis. ICCPS 2018: 275-286 - Thomas Gurriet, Andrew Singletary, Jacob Reher, Laurent Ciarletta, Eric Feron, Aaron D. Ames:
Towards a framework for realizable safety critical control through active set invariance. ICCPS 2018: 98-106 - Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio:
ROS-based support system for supervision of multiple UAVs by a single operator. ICCPS 2018: 341-342 - Omar Inverso, Alberto Bemporad, Mirco Tribastone:
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS 2018: 1-9 - Radoslav Ivanov, James Weimer, Insup Lee:
Context-aware detection in medical cyber-physical systems. ICCPS 2018: 232-241 - Achin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam:
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. ICCPS 2018: 140-149 - Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic:
Platform for model-based design and testing for deep brain stimulation. ICCPS 2018: 263-274 - Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic:
Learning-based control design for deep brain stimulation. ICCPS 2018: 349-350 - Yiannis Kantaros, Michael M. Zavlanos:
Distributed optimal control synthesis for multi-robot systems under global temporal tasks. ICCPS 2018: 162-173 - Shinpei Kato, Shota Tokunaga, Yuya Maruyama, Seiya Maeda, Manato Hirabayashi, Yuki Kitsukawa, Abraham Monrroy, Tomohito Ando, Yusuke Fujii, Takuya Azumi:
Autoware on board: enabling autonomous vehicles with embedded systems. ICCPS 2018: 287-296 - Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. ICCPS 2018: 22-31 - Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan:
A data-driven approach to artificial pancreas verification and synthesis. ICCPS 2018: 242-252 - Xing Li, Mengxiang Liu, Rui Zhang, Peng Cheng, Jiming Chen:
An industrial control system testbed for the encrypted controller: demo abstract. ICCPS 2018: 343-344 - Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS 2018: 353-354 - Meiyi Ma, John A. Stankovic, Lu Feng:
Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS 2018: 55-64 - Daniel Oliveira, Tiago Gomes, Sandro Pinto:
Towards a green and secure architecture for reconfigurable IoT end-devices. ICCPS 2018: 335-336 - Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam:
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS 2018: 186-197 - Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan:
SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS 2018: 88-97 - Sarah Masud Preum, Sile Shu, Jonathan Ting, Vincent Lin, Ronald D. Williams, John A. Stankovic, Homa Alemzadeh:
Towards a cognitive assistant system for emergency response. ICCPS 2018: 347-348