MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08569cam a2201081 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn932002694 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703164234.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
151209s2015 sz ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
YDXCP |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
YDXCP |
| Modifying agency |
OCLCO |
| -- |
NUI |
| -- |
DKDLA |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCO |
| -- |
KSU |
| -- |
IAO |
| -- |
JBG |
| -- |
IAS |
| -- |
ICN |
| -- |
IAD |
| -- |
SOI |
| -- |
VT2 |
| -- |
COO |
| -- |
ILO |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
U3W |
| -- |
BUF |
| -- |
KIJ |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
AU@ |
| -- |
WYU |
| -- |
EBLCP |
| -- |
UKMGB |
| -- |
OCLCQ |
| -- |
DCT |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
LQU |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB8N3154 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019148388 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
961857502 |
| -- |
963332315 |
| -- |
964860137 |
| -- |
1005824250 |
| -- |
1011953840 |
| -- |
1027515397 |
| -- |
1048166688 |
| -- |
1058478481 |
| -- |
1066438086 |
| -- |
1081184189 |
| -- |
1086464885 |
| -- |
1110906155 |
| -- |
1112533492 |
| -- |
1136515642 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319251417 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319251414 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319251400 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3319251406 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-25141-7 |
| Source of number or code |
doi |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-25 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057667200 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
400332922 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019148388 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)932002694 |
| Canceled/invalid control number |
(OCoLC)961857502 |
| -- |
(OCoLC)963332315 |
| -- |
(OCoLC)964860137 |
| -- |
(OCoLC)1005824250 |
| -- |
(OCoLC)1011953840 |
| -- |
(OCoLC)1027515397 |
| -- |
(OCoLC)1048166688 |
| -- |
(OCoLC)1058478481 |
| -- |
(OCoLC)1066438086 |
| -- |
(OCoLC)1081184189 |
| -- |
(OCoLC)1086464885 |
| -- |
(OCoLC)1110906155 |
| -- |
(OCoLC)1112533492 |
| -- |
(OCoLC)1136515642 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783319251417 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.A65 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UNH |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UDBD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM032000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.7 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
CyPhy (Workshop) |
| Number of part/section/meeting |
(5th : |
| Date of meeting |
2015 : |
| Location of meeting |
Amsterdam, Netherlands) |
| 9 (RLIN) |
55392 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Cyber physical systems : |
| Remainder of title |
design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings / |
| Statement of responsibility, etc. |
Christian Berger, Mohammad Reza Mousavi (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
CyPhy 2015 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2015] |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
9361 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL3 - Information systems and applications, incl. Internet/Web, and HCI |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed March 11, 2016). |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic control |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
24909 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sensor networks |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18858 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
32389 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Cybernetics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
29204 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Commande automatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
38210 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Réseaux de capteurs |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
27377 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes informatiques |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967238 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Cybernétique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
29205 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Network hardware. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53462 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| General subdivision |
software development. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53440 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms & data structures. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53448 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information retrieval. |
| Source of heading or term |
bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Hardware |
| -- |
Network Hardware. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53464 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Software Development & Engineering |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4347 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Programming |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53444 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Programming |
| -- |
Algorithms. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53450 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Intelligence (AI) & Semantics. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
17680 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Information Technology. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
14211 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic control |
| Source of heading or term |
fast |
| 9 (RLIN) |
24911 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1929 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Cybernetics |
| Source of heading or term |
fast |
| 9 (RLIN) |
29206 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sensor networks |
| Source of heading or term |
fast |
| 9 (RLIN) |
18859 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Berger, Christian, |
| Relator term |
editor. |
| 9 (RLIN) |
55394 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Mousavi, Mohammad Reza, |
| Dates associated with a name |
1978- |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjygJdB767PKYCykgpqrYP |
| 9 (RLIN) |
55395 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Cyber physical systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGfH4pQyxhR639Gjtq4CkP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
CyPhy (Workshop) (5th : 2015 : Amsterdam, Netherlands). |
| Title |
Cyber physical systems. |
| Place, publisher, and date of publication |
Cham : Springer, [2015] |
| International Standard Book Number |
9783319251400 |
| -- |
3319251406 |
| Record control number |
(OCoLC)919483733 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
9361. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 3, |
| Name of part/section of a work |
Information systems and applications, incl. Internet/Web, and HCI. |
| 9 (RLIN) |
21961 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-319-25141-7">https://link.springer.com/10.1007/978-3-319-25141-7</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH31357112 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5594791 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
12737438 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |