Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319251400, 9783319251417

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hybrid Secure Data Aggregation in Wireless Sensor Networks

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_9 ◽

2015 ◽

pp. 116-131 ◽

Cited By ~ 1

Author(s):

Keyur Parmar ◽

Devesh C. Jinwala

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Data Aggregation ◽

Wireless Sensor ◽

Secure Data ◽

Secure Data Aggregation

Download Full-text

Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_3 ◽

2015 ◽

pp. 25-39 ◽

Cited By ~ 1

Author(s):

Sebastian Siegl ◽

Martin Russer

Keyword(s):

Automated Driving ◽

Environmental Models

Download Full-text

Resource-Aware Control and Dynamic Scheduling in CPS

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_1 ◽

2015 ◽

pp. 1-7

Author(s):

W. P. M. H. Heemels

Keyword(s):

Dynamic Scheduling ◽

Resource Aware

Download Full-text

A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_5 ◽

2015 ◽

pp. 56-66

Author(s):

Benjamin Beichler ◽

Thorsten Schulz ◽

Christian Haubelt ◽

Frank Golatowski

Keyword(s):

Control Systems ◽

Train Control ◽

Dataflow Model

Download Full-text

Current Challenges in the Verification of Hybrid Systems

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_2 ◽

2015 ◽

pp. 8-24 ◽

Cited By ~ 16

Author(s):

Stefan Schupp ◽

Erika Ábrahám ◽

Xin Chen ◽

Ibtissem Ben Makhlouf ◽

Goran Frehse ◽

...

Keyword(s):

Hybrid Systems ◽

Verification Of Hybrid Systems

Download Full-text

A Modelling Framework for Cyber-Physical System Resilience

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_6 ◽

2015 ◽

pp. 67-82

Author(s):

Manuela L. Bujorianu ◽

Nir Piterman

Keyword(s):

Physical System ◽

Cyber Physical System ◽

Modelling Framework ◽

System Resilience

Download Full-text

Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_8 ◽

2015 ◽

pp. 99-115 ◽

Cited By ~ 1

Author(s):

Shin Nakajima ◽

Si-Mohamed Lamraoui

Keyword(s):

Energy Consumption ◽

Fault Localization ◽

Maximum Satisfiability ◽

Consumption Behavior

Download Full-text

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_10 ◽

2015 ◽

pp. 132-146 ◽

Cited By ~ 3

Author(s):

Muhammad Usman Sanwal ◽

Osman Hasan

Keyword(s):

Differential Equations ◽

Cyber Physical Systems ◽

Linear Differential Equations ◽

Physical Systems ◽

Linear Differential ◽

Homogeneous Linear

Download Full-text

Core Research and Innovation Areas in Cyber-Physical Systems of Systems

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_4 ◽

2015 ◽

pp. 40-55 ◽

Cited By ~ 14

Author(s):

S. Engell ◽

R. Paulen ◽

M. A. Reniers ◽

C. Sonntag ◽

H. Thompson

Keyword(s):

Cyber Physical Systems ◽

Systems Of Systems ◽

Physical Systems ◽

Research And Innovation

Download Full-text

Recharging Probably Keeps Batteries Alive

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25141-7_7 ◽

2015 ◽

pp. 83-98 ◽

Cited By ~ 6

Author(s):

Holger Hermanns ◽

Jan Krčál ◽

Gilles Nies

Download Full-text

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Hybrid Secure Data Aggregation in Wireless Sensor Networks

Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems

Resource-Aware Control and Dynamic Scheduling in CPS

A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems

Current Challenges in the Verification of Hybrid Systems

A Modelling Framework for Cyber-Physical System Resilience

Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations

Core Research and Innovation Areas in Cyber-Physical Systems of Systems

Recharging Probably Keeps Batteries Alive

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science
Latest Publications