𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

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

✍ Scribed by Mohammad Reza Mousavi, Christian Berger (eds.)

Publisher
Springer International Publishing
Year
2015
Tongue
English
Leaves
155
Series
Lecture Notes in Computer Science 9361
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.

✦ Table of Contents

Front Matter....Pages I-VII
Resource-Aware Control and Dynamic Scheduling in CPS....Pages 1-7
Current Challenges in the Verification of Hybrid Systems....Pages 8-24
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems....Pages 25-39
Core Research and Innovation Areas in Cyber-Physical Systems of Systems....Pages 40-55
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems....Pages 56-66
A Modelling Framework for Cyber-Physical System Resilience....Pages 67-82
Recharging Probably Keeps Batteries Alive....Pages 83-98
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability....Pages 99-115
Hybrid Secure Data Aggregation in Wireless Sensor Networks....Pages 116-131
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations....Pages 132-146
Back Matter....Pages 147-147

✦ Subjects

Information Systems Applications (incl. Internet); Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics)

πŸ“œ 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

<p>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.<br>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

<p>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: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
✍ Roger Chamberlain, Walid Taha, Martin TΓΆrngren πŸ“‚ Library πŸ“… 2019 πŸ› Springer International Publishing 🌐 English

<p>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.<br>The 10 papers presented together with 1 extended and 1 invited abstrac

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

<span>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

Human Behavior Understanding: 7th Intern
πŸ“ Human Behavior Understanding: 7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings
✍ Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah (eds.) πŸ“‚ Library πŸ“… 2016 πŸ› Springer International Publishing 🌐 English

<p><p>This book constitutes the refereed proceedings of the 7th International Workshop on Human Behavior Understanding, HBU 2016, held in Amsterdam, The Netherlands, in October 2016.</p><p>The 10 full papers were carefully reviewed and selected from 17 initial submissions. They are organized in topi