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
• 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 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
• 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.