Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

✍ Scribed by Roger Chamberlain, Walid Taha, Martin Törngren

Publisher: Springer International Publishing
Year: 2019
Tongue: English
Leaves: 162
Series: Lecture Notes in Computer Science 11267
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.

✦ Table of Contents

Front Matter ....Pages i-x
Front Matter ....Pages 1-1
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid (Ichiro Hasuo)....Pages 3-7
Front Matter ....Pages 9-9
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems (Shakiba Yaghoubi, Georgios Fainekos)....Pages 11-26
Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems (Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee)....Pages 27-42
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems (Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz)....Pages 43-60
Front Matter ....Pages 61-61
Template-Based Monte-Carlo Test Generation for Simulink Models (Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki)....Pages 63-78
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis (Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki)....Pages 79-82
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems (Hokeun Kim, Armin Wasicek, Edward A. Lee)....Pages 83-93
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles (Houssam Abbas, Matthew O’Kelly, Alena Rodionova, Rahul Mangharam)....Pages 94-106
Front Matter ....Pages 107-107
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems (Kengo Kido, Sean Sedwards, Ichiro Hasuo)....Pages 109-126
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving (Adnan Rashid, Osman Hasan)....Pages 127-141
Front Matter ....Pages 143-143
FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization (Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li et al.)....Pages 145-158
Back Matter ....Pages 159-159

✦ Subjects

📜 SIMILAR VOLUMES

Cyber Physical Systems. Design, Modeling

📁 Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

✍ Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.) 📂 Library 📅 2017 🏛 Springer International Publishing 🌐 English

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 19 papers presented in this volume were carefully reviewed and sele

Cyber Physical Systems. Model-Based Desi

📁 Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

✍ Roger Chamberlain, Walid Taha, Martin Törngren 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in

Cyber Physical Systems. Design, Modeling

📁 Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

✍ Mohammad Reza Mousavi, Christian Berger (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed

Digital Forensics and Cyber Crime: 7th I

📁 Digital Forensics and Cyber Crime: 7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6-8, 2015, Revised Selected Papers

✍ Joshua I. James, Frank Breitinger 📂 Library 📅 2015 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the 7th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2015, held in Seoul, South Korea, in October 2015. The 14 papers and 3 abstracts were selected from 40 submissions and cover diverse topics ranging from tactics of cyber cr

Digital Forensics and Cyber Crime: 7th I

📁 Digital Forensics and Cyber Crime: 7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6–8, 2015, Revised Selected Papers

✍ Joshua I. James, Frank Breitinger (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 7th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2015, held in Seoul, South Korea, in October 2015. The 14 papers and 3 abstracts were selected from 40 submissions and cover diverse topics ranging from tactics of cy

Cyber Physical Systems. Model-Based Desi

📁 Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, ... Applications, incl. Internet/Web, and HCI)

✍ Roger Chamberlain (editor), Martin Edin Grimheden (editor), Walid Taha (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in O