000 08569cam a2201081 i 4500
001 ocn932002694
003 OCoLC
005 20250703164234.0
006 m o d
007 cr |n|||||||||
008 151209s2015 sz ob 101 0 eng d
040 _aYDXCP
_beng
_erda
_epn
_cYDXCP
_dOCLCO
_dNUI
_dDKDLA
_dOCLCF
_dOCLCO
_dOCLCQ
_dGW5XE
_dOCLCO
_dKSU
_dIAO
_dJBG
_dIAS
_dICN
_dIAD
_dSOI
_dVT2
_dCOO
_dILO
_dESU
_dOCLCQ
_dIOG
_dU3W
_dBUF
_dKIJ
_dOCLCQ
_dCEF
_dAU@
_dWYU
_dEBLCP
_dUKMGB
_dOCLCQ
_dDCT
_dERF
_dOCLCQ
_dLQU
_dOCLCQ
_dUKAHL
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
_dOCLCQ
015 _aGBB8N3154
_2bnb
016 7 _a019148388
_2Uk
019 _a961857502
_a963332315
_a964860137
_a1005824250
_a1011953840
_a1027515397
_a1048166688
_a1058478481
_a1066438086
_a1081184189
_a1086464885
_a1110906155
_a1112533492
_a1136515642
020 _a9783319251417
_q(electronic bk.)
020 _a3319251414
_q(electronic bk.)
020 _z9783319251400
020 _z3319251406
024 7 _a10.1007/978-3-319-25141-7
_2doi
024 8 _a10.1007/978-3-319-25
029 1 _aAU@
_b000057667200
029 1 _aNLGGC
_b400332922
029 1 _aUKMGB
_b019148388
035 _a(OCoLC)932002694
_z(OCoLC)961857502
_z(OCoLC)963332315
_z(OCoLC)964860137
_z(OCoLC)1005824250
_z(OCoLC)1011953840
_z(OCoLC)1027515397
_z(OCoLC)1048166688
_z(OCoLC)1058478481
_z(OCoLC)1066438086
_z(OCoLC)1081184189
_z(OCoLC)1086464885
_z(OCoLC)1110906155
_z(OCoLC)1112533492
_z(OCoLC)1136515642
037 _acom.springer.onix.9783319251417
_bSpringer Nature
050 4 _aQA76.76.A65
072 7 _aUNH
_2bicssc
072 7 _aUDBD
_2bicssc
072 7 _aCOM032000
_2bisacsh
082 0 4 _a005.7
_223
049 _aMAIN
111 2 _aCyPhy (Workshop)
_n(5th :
_d2015 :
_cAmsterdam, Netherlands)
_955392
245 1 0 _aCyber physical systems :
_bdesign, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /
_cChristian Berger, Mohammad Reza Mousavi (eds.).
246 3 0 _aCyPhy 2015
264 1 _aCham :
_bSpringer,
_c[2015]
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture notes in computer science ;
_v9361
490 1 _aLNCS sublibrary. SL3 - Information systems and applications, incl. Internet/Web, and HCI
520 _aThis 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.
588 0 _aOnline resource; title from PDF title page (SpringerLink, viewed March 11, 2016).
546 _aEnglish.
505 0 _aIntro; 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
505 8 _a2 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
505 8 _a3 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
505 8 _aA 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
505 8 _a3.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
650 0 _aAutomatic control
_vCongresses.
_924909
650 0 _aSensor networks
_vCongresses.
_918858
650 0 _aComputer systems
_xVerification
_vCongresses.
_932389
650 0 _aCybernetics
_vCongresses.
_929204
650 6 _aCommande automatique
_vCongrès.
_938210
650 6 _aRéseaux de capteurs
_vCongrès.
_927377
650 6 _aSystèmes informatiques
_xVérification
_vCongrès.
_9967238
650 6 _aCybernétique
_vCongrès.
_929205
650 7 _aNetwork hardware.
_2bicssc
_953462
650 7 _aSoftware Engineering.
_2bicssc
_914736
650 7 _aComputer programming
_xsoftware development.
_2bicssc
_953440
650 7 _aAlgorithms & data structures.
_2bicssc
_953448
650 7 _aArtificial intelligence.
_2bicssc
_91340
650 7 _aInformation retrieval.
_2bicssc
650 7 _aComputers
_xHardware
_xNetwork Hardware.
_2bisacsh
_953464
650 7 _aComputers
_xSoftware Development & Engineering
_xGeneral.
_2bisacsh
_94347
650 7 _aComputers
_xProgramming
_xGeneral.
_2bisacsh
_953444
650 7 _aComputers
_xProgramming
_xAlgorithms.
_2bisacsh
_953450
650 7 _aComputers
_xIntelligence (AI) & Semantics.
_2bisacsh
_917680
650 7 _aComputers
_xInformation Technology.
_2bisacsh
_914211
650 7 _aAutomatic control
_2fast
_924911
650 7 _aComputer systems
_xVerification
_2fast
_91929
650 7 _aCybernetics
_2fast
_929206
650 7 _aSensor networks
_2fast
_918859
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aBerger, Christian,
_eeditor.
_955394
700 1 _aMousavi, Mohammad Reza,
_d1978-
_eeditor.
_1https://id.oclc.org/worldcat/entity/E39PCjygJdB767PKYCykgpqrYP
_955395
758 _ihas work:
_aCyber physical systems (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGfH4pQyxhR639Gjtq4CkP
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aCyPhy (Workshop) (5th : 2015 : Amsterdam, Netherlands).
_tCyber physical systems.
_dCham : Springer, [2015]
_z9783319251400
_z3319251406
_w(OCoLC)919483733
830 0 _aLecture notes in computer science ;
_v9361.
830 0 _aLNCS sublibrary.
_nSL 3,
_pInformation systems and applications, incl. Internet/Web, and HCI.
_921961
856 4 0 _uhttps://link.springer.com/10.1007/978-3-319-25141-7
938 _aAskews and Holts Library Services
_bASKH
_nAH31357112
938 _aProQuest Ebook Central
_bEBLB
_nEBL5594791
938 _aYBP Library Services
_bYANK
_n12737438
994 _a92
_bATIST
999 _c644331
_d644331