Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015])
- Record Type:
- Book
- Title:
- Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015])
- Main Title:
- Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings
- Other Titles:
- CyPhy 2015
- Further Information:
- Note: Christian Berger, Mohammad Reza Mousavi (eds.).
- Editors:
- Berger, Christian
Mousavi, Mohammad Reza, 1978- - Other Names:
- CyPhy (Workshop), 5th
- Contents:
- 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 Work3 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 Operation3.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 KeyIntro; 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 Work3 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 Operation3.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 Systems1 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 Games4 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 … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2015
- Extent:
- 1 online resource
- Subjects:
- 005.7
Computer science
Automatic control -- Congresses
Sensor networks -- Congresses
Computer systems -- Verification -- Congresses
Cybernetics -- Congresses
Automatic control
Computer systems -- Verification
Cybernetics
Sensor networks
Computer Science
Engineering & Applied Sciences
Computers -- Hardware -- Network Hardware
Computers -- Software Development & Engineering -- General
Computers -- Programming -- General
Computers -- Programming -- Algorithms
Computers -- Intelligence (AI) & Semantics
Network hardware
Software Engineering
Computer programming / software development
Algorithms & data structures
Artificial intelligence
Computer Communication Networks
Software engineering
Logic design
Computer software
Artificial intelligence
Computers -- Information Technology
Information retrieval
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319251417
3319251414 - Related ISBNs:
- 9783319251400
3319251406 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed March 11, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.362610
- Ingest File:
- 01_329.xml