Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 13)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030411305, 9783030411312

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_7 ◽

2020 ◽

pp. 127-152

Author(s):

Wonseok Lee ◽

Jaehwan Jeong ◽

Seonghyeon Park ◽

Chang-Gun Lee

Keyword(s):

Real Time ◽

Real Time Simulation ◽

Automotive Systems ◽

Time Simulation

Download Full-text

Multicore Models of Communication for Cyber-Physical Systems

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_2 ◽

2020 ◽

pp. 28-43

Author(s):

Martin Schoeberl

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_3 ◽

2020 ◽

pp. 44-58

Author(s):

Mehrshad Zandigohar ◽

Mo Han ◽

Deniz Erdoğmuş ◽

Gunar Schirner

Keyword(s):

Prosthetic Hand ◽

Probability Estimator ◽

Grasp Type

Download Full-text

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_6 ◽

2020 ◽

pp. 108-126

Author(s):

Adam Duracz ◽

Ayman Aljarbouh ◽

Ferenc A. Bartha ◽

Jawad Masood ◽

Roland Philippsen ◽

...

Keyword(s):

Risk Assessment ◽

Hazard Analysis ◽

Functional Safety ◽

Safety Standard ◽

Iso 26262

Download Full-text

A Modular SystemC RTOS Model for Uncertainty Analysis

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_1 ◽

2020 ◽

pp. 3-27

Author(s):

Lorenzo Lazzara ◽

Giulio Mosé Mancuso ◽

Fabio Cremona ◽

Alessandro Ulisse

Keyword(s):

Uncertainty Analysis

Download Full-text

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_5 ◽

2020 ◽

pp. 89-107

Author(s):

Paul Rousse ◽

Julien Alexandre dit Sandretto ◽

Alexandre Chapoutot ◽

Pierre-Loïc Garoche

Keyword(s):

Dynamical Systems ◽

Integral Constraints

Download Full-text

Reactors: A Deterministic Model for Composable Reactive Systems

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_4 ◽

2020 ◽

pp. 59-85 ◽

Cited By ~ 1

Author(s):

Marten Lohstroh ◽

Íñigo Íncer Romeo ◽

Andrés Goens ◽

Patricia Derler ◽

Jeronimo Castrillon ◽

...

Keyword(s):

Deterministic Model ◽

Reactive Systems

Download Full-text

An Embedded Graduate Lab Course with Spirit

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_12 ◽

2020 ◽

pp. 247-263

Author(s):

André Stollenwerk

Download Full-text

A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_11 ◽

2020 ◽

pp. 231-246

Author(s):

Manfred Smieschek ◽

Stefan Rakel ◽

David Thönnessen ◽

Andreas Derks ◽

André Stollenwerk ◽

...

Keyword(s):

Large Scale ◽

Test Environment ◽

Laboratory Course

Download Full-text

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41131-2_9 ◽

2020 ◽

pp. 181-202

Author(s):

Adrien Le Coënt ◽

Laurent Fribourg

Keyword(s):

Model Reduction ◽

Reaction Diffusion ◽

Reaction Diffusion Equations ◽

Diffusion Equations ◽

Lipschitz Constants

Download Full-text

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems

Multicore Models of Communication for Cyber-Physical Systems

Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

A Modular SystemC RTOS Model for Uncertainty Analysis

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Reactors: A Deterministic Model for Composable Reactive Systems

An Embedded Graduate Lab Course with Spirit

A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science
Latest Publications