Cyber physical systems design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /
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...
Corporate Authors: | CyPhy (Workshop) Amsterdam, Netherlands) |
---|---|
Other Authors: | CyPhy (Workshop), Berger, Christian (Professor of Software Engineering),, Mousavi, Mohammad Reza, 1978-, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer,
[2015]
|
Physical Description: |
1 online resource. |
Series: |
Lecture notes in computer science ;
9361. LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI. |
Subjects: |
LEADER | 09481cam a2201333Ii 4500 | ||
---|---|---|---|
001 | 932002694 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151209s2015 sz ob 101 0 eng d | ||
015 | |a GBB8N3154 |2 bnb | ||
016 | 7 | |a 019148388 |2 Uk | |
019 | |a 961857502 |a 963332315 |a 964860137 |a 1005824250 |a 1011953840 |a 1027515397 |a 1048166688 |a 1058478481 |a 1066438086 |a 1081184189 |a 1086464885 |a 1110906155 |a 1112533492 |a 1136515642 | ||
020 | |a 9783319251417 |q (electronic bk.) | ||
020 | |a 3319251414 |q (electronic bk.) | ||
020 | |z 9783319251400 | ||
020 | |z 3319251406 | ||
024 | 7 | |a 10.1007/978-3-319-25141-7 |2 doi | |
024 | 8 | |a 10.1007/978-3-319-25 | |
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 | |a com.springer.onix.9783319251417 |b Springer Nature | ||
040 | |a YDXCP |b eng |e rda |e pn |c YDXCP |d OCLCO |d NUI |d DKDLA |d OCLCF |d OCLCO |d OCLCQ |d GW5XE |d OCLCO |d KSU |d IAO |d JBG |d IAS |d ICN |d IAD |d SOI |d VT2 |d COO |d ILO |d ESU |d OCLCQ |d IOG |d U3W |d BUF |d KIJ |d OCLCQ |d CEF |d AU@ |d WYU |d EBLCP |d UKMGB |d OCLCQ |d DCT |d ERF |d OCLCQ |d LQU |d OCLCQ |d UKAHL |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.76.A65 | |
072 | 7 | |a UNH |2 bicssc | |
072 | 7 | |a UDBD |2 bicssc | |
072 | 7 | |a COM032000 |2 bisacsh | |
082 | 0 | 4 | |a 005.7 |2 23 |
111 | 2 | |a CyPhy (Workshop) |n (5th : |d 2015 : |c Amsterdam, Netherlands) | |
245 | 1 | 0 | |a Cyber physical systems : |b design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings / |c Christian Berger, Mohammad Reza Mousavi (eds.). |
246 | 3 | 0 | |a CyPhy 2015. |
264 | 1 | |a Cham : |b Springer, |c [2015] | |
300 | |a 1 online resource. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
347 | |a text file. | ||
347 | |b PDF. | ||
490 | 1 | |a Lecture notes in computer science ; |v 9361. | |
490 | 1 | |a LNCS sublibrary. SL3 - Information systems and applications, incl. Internet/Web, and HCI. | |
520 | |a 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. | ||
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed March 11, 2016). | |
546 | |a English. | ||
505 | 0 | |a 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. | |
505 | 8 | |a 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. | |
505 | 8 | |a 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. | |
505 | 8 | |a 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. | |
505 | 8 | |a 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. | |
650 | 0 | |a Automatic control |v Congresses. | |
650 | 0 | |a Sensor networks |v Congresses. | |
650 | 0 | |a Computer systems |x Verification |v Congresses. | |
650 | 0 | |a Cybernetics |v Congresses. | |
650 | 6 | |a Commande automatique |v Congrès. | |
650 | 6 | |a Réseaux de capteurs |v Congrès. | |
650 | 6 | |a Systèmes informatiques |x Vérification |v Congrès. | |
650 | 6 | |a Cybernétique |v Congrès. | |
650 | 7 | |a Network hardware. |2 bicssc. | |
650 | 7 | |a Software Engineering. |2 bicssc. | |
650 | 7 | |a Computer programming |x software development. |2 bicssc. | |
650 | 7 | |a Algorithms & data structures. |2 bicssc. | |
650 | 7 | |a Artificial intelligence. |2 bicssc. | |
650 | 7 | |a Information retrieval. |2 bicssc. | |
650 | 7 | |a Computers |x Hardware |x Network Hardware. |2 bisacsh. | |
650 | 7 | |a Computers |x Software Development & Engineering |x General. |2 bisacsh. | |
650 | 7 | |a Computers |x Programming |x General. |2 bisacsh. | |
650 | 7 | |a Computers |x Programming |x Algorithms. |2 bisacsh. | |
650 | 7 | |a Computers |x Intelligence (AI) & Semantics. |2 bisacsh. | |
650 | 7 | |a Computers |x Information Technology. |2 bisacsh. | |
650 | 7 | |a Automatic control. |2 fast. | |
650 | 7 | |a Computer systems |x Verification. |2 fast. | |
650 | 7 | |a Cybernetics. |2 fast. | |
650 | 7 | |a Sensor networks. |2 fast. | |
655 | 2 | |a Congress. | |
655 | 7 | |a proceedings (reports) |2 aat. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
700 | 1 | |a Berger, Christian |c (Professor of Software Engineering), |e editor. | |
700 | 1 | |a Mousavi, Mohammad Reza, |d 1978- |1 https://id.oclc.org/worldcat/entity/E39PCjygJdB767PKYCykgpqrYP, |e editor. | |
710 | 2 | |a SpringerLink (Online service) | |
776 | 0 | 8 | |i Print version: |a CyPhy (Workshop) (5th : 2015 : Amsterdam, Netherlands). |t Cyber physical systems. |d Cham : Springer, [2015] |z 9783319251400 |z 3319251406 |w (OCoLC)919483733. |
830 | 0 | |a Lecture notes in computer science ; |v 9361. | |
830 | 0 | |a LNCS sublibrary. |n SL 3, |p Information systems and applications, incl. Internet/Web, and HCI. | |
907 | |a .b50280223 |b multi |c - |d 160404 |e 240320 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Comp, in 2023.01 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2019.12 | ||
948 | |a MARCIVE Q2, 2018 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE Comp, 2017.10 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug 5, 2017 | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.ltiac in 2018.08 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | 0 | 0 | |a OCLC offline update by CMU and loaded with m2btab.elec in 2018.04 |
995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
995 | |a Loaded with m2btab.ltiac in 2017.09 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a OCLC offline update by CMU | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i15044185x |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-319-25141-7 |3 SpringerLink |z Click here for access |