Cyber Physical Systems. Design, Modeling, and Evaluation

Name: Cyber Physical Systems. Design, Modeling, and Evaluation | 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Brand: Springer
Price: 42.79 EUR
Availability: OnlineOnly

5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Christian Berger Mohammad Reza Mousavi(Herausgeber*in)

Springer (Verlag)

Erschienen am 31. Oktober 2015

VII, 147 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-25141-7 (ISBN)

42,79 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Resource-Aware Control and Dynamic Scheduling in CPS
1 Introduction
2 Dynamic Scheduling and Control
3 Event-Triggered and Self-triggered Control
4 Overview
References
Current Challenges in the Verification of Hybrid Systems
1 Introduction
2 Hybrid Systems Modelling and Reachability Analysis
2.1 Modelling
2.2 Reachability Analysis
3 Tools
4 Benchmarking and Evaluation
5 Further Challenges
6 Conclusion
References
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems
1 Introduction
2 Related Work
3 Constructive Requirements Modeling
3.1 Modeling Elements
3.2 Foundations of Constructive Requirements Modeling
4 Leveraging the Environmental Modelling
4.1 Decomposition of Functional Specification
4.2 Global Assessments
4.3 Model Composition
5 Application on Embedded Body Functionality
5.1 Application on an Automotive Embedded System
5.2 Tool Framework
5.3 Model of the Embedded System
5.4 Results and Evaluation
6 Conclusion
References
Core Research and Innovation Areas in Cyber-Physical Systems of Systems
1 Introduction
2 Cyber-Physical Systems of Systems
3 Features of CPSoS and Industrial Challenges in Their Development and Operation
3.1 Size and Distribution
3.2 Control and Management
3.3 Partial Autonomy
3.4 Dynamic Reconfiguration
3.5 Continuous Evolution
3.6 Possibility of Emerging Behaviours
3.7 Enabling Technologies and Methodologies
4 Key Research and Innovation Challenges in CPSoS
4.1 Distributed, Reliable and Efficient Management of CPSoS
4.2 Engineering Support for the Design-Operation Continuum of CPSoS
4.3 Cognitive CPSoS
5 Summary
References
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems
1 Introduction
2 Related Work
3 Parametric Synchronous Dataflow
4 ETCS - Speed and Distance Monitoring
4.1 Overview
4.2 Emergency Brake Deceleration Curve Calculation
5 Parametric Dataflow Modeling of the EBD Calculation
6 Implementation
7 Conclusion
References
A Modelling Framework for Cyber-Physical System Resilience
1 Introduction
2 Problem Formulation
3 Integrating Models of Hybrid Systems and Autonomic Control
3.1 Autonomous Stochastic Hybrid Systems
3.2 Probabilistic Hybrid Games
4 Resilience Analysis
5 Conclusions
References
Recharging Probably Keeps Batteries Alive
1 Introduction
2 Battery Kinetics
3 Random Battery Kinetics
4 Bounded Recharging
5 Random Charging and Discharging in Practice
6 Related Work and Analysis Alternatives
7 Conclusion
References
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability
1 Introduction
2 Energy Consumption Behavior
3 Preliminaries
4 A Method for Bounded Analysis
4.1 Power Consumption Automata
4.2 Boolean Encoding
4.3 Scope-Bounded Analysis
5 Automatic Fault Localization
5.1 Fault Localization Method
6 An Example Case
7 Discussion and Conclusion
References
Hybrid Secure Data Aggregation in Wireless Sensor Networks
1 Introduction
2 Related Work
3 Preliminaries
4 The Proposed Hybrid Secure Data Aggregation
5 Overhead Analysis
5.1 Network Model
5.2 Communication Overhead
6 Security Analysis
7 Conclusions
References
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations
1 Introduction
2 Related Work
3 Derivatives in HOL4
4 Homogeneous Linear Differential Equations
5 Solution of Homogeneous Linear Differential Equations
6 Biomedical Applications
6.1 Heart Pacemaker
6.2 Fluid-Filled Catheter
7 Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken