Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICCPS 2018: Porto, Portugal
- Chris Gill, Bruno Sinopoli, Xue Liu, Paulo Tabuada:
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018. IEEE Computer Society / ACM 2018, ISBN 978-1-5386-5301-2
CPS security
- Omar Inverso
, Alberto Bemporad, Mirco Tribastone:
SAT-based synthesis of spoofing attacks in cyber-physical control systems. 1-9 - Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo:
Guaranteed physical security with restart-based design for cyber-physical systems. 10-21 - Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. 22-31 - Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran:
Cloaking the clock: emulating clock skew in controller area networks. 32-42 - Yasser Shoukry, Shaunak Mishra, Zutian Luo, Suhas N. Diggavi:
Sybil attack resilient traffic networks: a physics-based trust propagation approach. 43-54
Smart cities and smart transportation
- Meiyi Ma, John A. Stankovic, Lu Feng:
Cityresolver: a decision support system for conflict resolution in smart cities. 55-64 - Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin:
Dynamic integration of heterogeneous transportation modes under disruptive events. 65-76 - Praveen Venkateswaran, Qing Han, Ronald T. Eguchi, Nalini Venkatasubramanian:
Impact driven sensor placement for leak detection in community water networks. 77-87 - Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan:
SDCworks: a formal framework for software defined control of smart manufacturing systems. 88-97
Controller design, implementation, and applications
- 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. 98-106 - Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec:
Ordering events based on intentionality in cyber-physical systems. 107-118 - Xinkai Zhang, Seth Doebbeling, Justin M. Bradley:
Co-regulation of computational and physical effectors in a quadrotor unmanned aircraft system. 119-129 - Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
OpenUAV: a UAV testbed for the CPS and robotics community. 130-139 - Achin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam:
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. 140-149
Synthesis and verification
- Maxence Dutreix, Samuel Coogan:
Efficient verification for stochastic mixed monotone systems. 150-161 - Yiannis Kantaros, Michael M. Zavlanos:
Distributed optimal control synthesis for multi-robot systems under global temporal tasks. 162-173 - Sankar Narayan Das, Indranil Saha:
Rhocop: receding horizon multi-robot coverage. 174-185 - Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam:
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. 186-197
Optimization
- A. Sanand Amita Dilip, Nikolaos Athanasopoulos, Raphaël M. Jungers:
The impact of packet dropouts on the reachability energy. 198-207 - Eva Darulova, Einar Horn, Saksham Sharma:
Sound mixed-precision optimization with rewriting. 208-219 - Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter optimization in control software using statistical fault localization techniques. 220-231
Medical applications
- Radoslav Ivanov, James Weimer, Insup Lee:
Context-aware detection in medical cyber-physical systems. 232-241 - Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan:
A data-driven approach to artificial pancreas verification and synthesis. 242-252 - 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. 253-262 - Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic:
Platform for model-based design and testing for deep brain stimulation. 263-274 - Gaurav Gupta, Sérgio Daniel Pequito, Paul Bogdan:
Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis. 275-286
Autonomous vehicles
- 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. 287-296 - Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay:
Optimal input design for affine model discrimination with applications in intention-aware vehicles. 297-307 - Yiran Zhao, Shuochao Yao, Huajie Shao, Tarek F. Abdelzaher:
Codrive: cooperative driving scheme for vehicles in urban signalized intersections. 308-319 - Shunsuke Aoki, Ragunathan Raj Rajkumar:
Dynamic intersections and self-driving vehicles. 320-330
Work-in-progress/demo abstracts
- Kai Li, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar:
Cooperative key generation for data dissemination in cyber-physical systems. 331-332 - Jiajun Shen, Xueli Fan, Qixin Wang:
Underwater AUV localization with refraction consideration: WiP abstract. 333-334 - Daniel Oliveira, Tiago Gomes, Sandro Pinto:
Towards a green and secure architecture for reconfigurable IoT end-devices. 335-336 - Daichi Watari, Ittetsu Taniguchi, Takao Onoye:
Soh aware battery management optimization on decentralized energy network. 337-338 - Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun:
KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. 339-340 - Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio:
ROS-based support system for supervision of multiple UAVs by a single operator. 341-342 - Xing Li, Mengxiang Liu, Rui Zhang, Peng Cheng, Jiming Chen:
An industrial control system testbed for the encrypted controller: demo abstract. 343-344 - Zhenyong Zhang, Junfeng Wu, David K. Y. Yau, Peng Cheng, Jiming Chen:
Secure kalman filter state estimation by partially homomorphic encryption. 345-346 - 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. 347-348 - Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic:
Learning-based control design for deep brain stimulation. 349-350 - Nicola Bezzo:
Predicting malicious intention in CPS under cyber-attack. 351-352 - 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. 353-354
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-09-05 01:02 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:
