Cyber physical systems : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers / Roger Chamberlain, Walid Taha, Martin Törngren (eds.).
CyPhy (Workshop) (7th : 2017 : Seoul, Korea); Chamberlain, Roger, editor.; Taha, Walid, 1972- editor.; Törngren, Martin, editor.
2019
TJ213
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Cyber physical systems : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers / Roger Chamberlain, Walid Taha, Martin Törngren (eds.).
Meeting Name
CyPhy (Workshop) (7th : 2017 : Seoul, Korea)
ISBN
9783030179106 (electronic book)
3030179109 (electronic book)
9783030179090
DOI
https://doi.org/10.1007/978-3-030-17910-6
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (x, 159 pages) : illustrations.
Item Number
10.1007/978-3-030-17910-6 doi
Call Number
TJ213
Dewey Decimal Classification
629.8
Summary
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. -- Provided by publisher.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 22, 2019).
Added Author
Chamberlain, Roger, editor.
Taha, Walid, 1972- editor.
Törngren, Martin, editor.
Series
Lecture notes in computer science ; 11267.
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
[I]. Keynote: 1. Nonstandard static analysis : literal transfer of deductive verification frameworks from discrete to hybrid / Ichiro Hasuo.

[II]. Design: 2. Local descent for temporal logic falsification of cyber-physical systems / Shakiba Yaghoubi, Georgios Fainekos
3. Memory access pattern-aware DRAM controller design for mixed-criticality systems / Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee
4. Increasing safety by combining multiple declarative rules in robotic perception systems / Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz.

[III]. Simulation: 5. Temple based Monte-Carlo test generation for Simulink models / Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuci, Toshiaki Aoki
6. Reliable simulation and monitoring of hybrid systems based on interval analysis (extended abstract) / Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
7. An integrated simulation tool for computer architecture and cyber-physical systems / Hokeun Kim, Armin Wasicek, Edward A. Lee
8. Safe at any speed : a simulation-based test harness for autonomous vehicles / Houssam Abbas, Matthew O'Kelly, Alena Rodionova, Rahul Mangharam.

[IV]. Formal methods: 9. Switching delays and the Skorokhod distance in incrementally stable switched systems / Kengo Kido, Sean Sedwards, Ichiro Hasuo
10. Formal analysis of robotic cell injection systems using theorem proving / Adnan Rashid, Osman Hasan.

[V]. Workshop on embedded and cyber-physical systems education: 11. FPGA based big data accelerator design in teaching computer architecture and organization / Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li, Xuehai Zhou.

Browse Subjects

Show more subjects...

Statistics

from
to
Export