國立虎尾科技大學 |

Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Modeling and Verification of Cyber-Physical Systems/ edited by Rolf Drechsler, Ulrich Kühne.
其他題名:	1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
其他作者:	Drechsler, Rolf.
面頁冊數:	X, 313 p. 106 illus., 5 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Architecture, Computer. -
電子資源:	https://doi.org/10.1007/978-3-658-09994-7
ISBN:	9783658099947

Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
Formal Modeling and Verification of Cyber-Physical Systems1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /[electronic resource] :edited by Rolf Drechsler, Ulrich Kühne. - 1st ed. 2015. - X, 313 p. 106 illus., 5 illus. in color.online resource.

Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics.

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. The Contents - Preface - Verification of Embedded Real-time Systems - MARTE/CCSL for Modeling Cyber-Physical Systems - An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis - Model Checking and Model-Based Testing in the Railway Domain - Modeling Unknown Values in Test and Verification - Specification of Parametric Monitors – Quantified Event Automata versus Rule Systems - Advances in Design Automation Techniques for Digital-Microfluidic Biochips - Intuitive Interaction with Robots – Technical Approaches and Challenges - Physical Safety in Robotics The Target Groups - Students and PhD students of computer science - Scientists and lecturers in computer science The Editors Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.

ISBN: 9783658099947

Standard No.: 10.1007/978-3-658-09994-7doiSubjects--Topical Terms:

1255731
Architecture, Computer.

LC Class. No.: QA76.9.A73

Dewey Class. No.: 003.3

Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
LDR:04199nam a22003975i 4500 001 963556
003 DE-He213
005 20200706094134.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783658099947 $9 978-3-658-09994-7
024 7 $a 10.1007/978-3-658-09994-7 $2 doi
035 $a 978-3-658-09994-7
050 4 $a QA76.9.A73
050 4 $a QA76.9.S88
072 7 $a UYD $2 bicssc
072 7 $a COM032000 $2 bisacsh
072 7 $a UYD $2 thema
082 0 4 $a 003.3 $2 23
245 1 0 $a Formal Modeling and Verification of Cyber-Physical Systems $h [electronic resource] : $b 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / $c edited by Rolf Drechsler, Ulrich Kühne.
250 $a 1st ed. 2015.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Vieweg, $c 2015.
300 $a X, 313 p. 106 illus., 5 illus. in color. $b 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 $b PDF $2 rda
505 0 $a Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics.
520 $a This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. The Contents - Preface - Verification of Embedded Real-time Systems - MARTE/CCSL for Modeling Cyber-Physical Systems - An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis - Model Checking and Model-Based Testing in the Railway Domain - Modeling Unknown Values in Test and Verification - Specification of Parametric Monitors – Quantified Event Automata versus Rule Systems - Advances in Design Automation Techniques for Digital-Microfluidic Biochips - Intuitive Interaction with Robots – Technical Approaches and Challenges - Physical Safety in Robotics The Target Groups - Students and PhD students of computer science - Scientists and lecturers in computer science The Editors Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Computer hardware. $3 1069242
650 0 $a Computer simulation. $3 560190
650 0 $a Electronic circuits. $3 563332
650 0 $a Control engineering. $3 1249728
650 0 $a Robotics. $3 561941
650 0 $a Mechatronics. $3 559133
650 0 $a Aerospace engineering. $3 686400
650 0 $a Astronautics. $3 646219
650 1 4 $a Computer System Implementation. $3 669803
650 2 4 $a Computer Hardware. $3 669779
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Circuits and Systems. $3 670901
650 2 4 $a Control, Robotics, Mechatronics. $3 768396
650 2 4 $a Aerospace Technology and Astronautics. $3 683885
700 1 $a Drechsler, Rolf. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670948
700 1 $a Kühne, Ulrich. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1258572
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658099954
776 0 8 $i Printed edition: $z 9783658099930
856 4 0 $u https://doi.org/10.1007/978-3-658-09994-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)