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

TOTAL DOCUMENTS

(FIVE YEARS 11)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030179090, 9783030179106

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles

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

10.1007/978-3-030-17910-6_8 ◽

2019 ◽

pp. 94-106 ◽

Cited By ~ 1

Author(s):

Houssam Abbas ◽

Matthew O’Kelly ◽

Alena Rodionova ◽

Rahul Mangharam

Keyword(s):

Autonomous Vehicles ◽

Simulation Based

Download Full-text

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems

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

10.1007/978-3-030-17910-6_2 ◽

2019 ◽

pp. 11-26

Author(s):

Shakiba Yaghoubi ◽

Georgios Fainekos

Keyword(s):

Temporal Logic ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

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

10.1007/978-3-030-17910-6_10 ◽

2019 ◽

pp. 127-141 ◽

Cited By ~ 3

Author(s):

Adnan Rashid ◽

Osman Hasan

Keyword(s):

Theorem Proving ◽

Formal Analysis ◽

Robotic Cell ◽

Cell Injection

Download Full-text

Template-Based Monte-Carlo Test Generation for Simulink Models

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

10.1007/978-3-030-17910-6_5 ◽

2019 ◽

pp. 63-78 ◽

Cited By ~ 1

Author(s):

Takashi Tomita ◽

Daisuke Ishii ◽

Toru Murakami ◽

Shigeki Takeuchi ◽

Toshiaki Aoki

Keyword(s):

Monte Carlo ◽

Test Generation ◽

Monte Carlo Test

Download Full-text

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis

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

10.1007/978-3-030-17910-6_6 ◽

2019 ◽

pp. 79-82

Author(s):

Daisuke Ishii ◽

Alexandre Goldsztejn ◽

Naoki Yonezaki

Keyword(s):

Hybrid Systems ◽

Interval Analysis

Download Full-text

Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems

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

10.1007/978-3-030-17910-6_3 ◽

2019 ◽

pp. 27-42 ◽

Cited By ~ 1

Author(s):

Jeongyoon Eo ◽

Kang-Wook Kim ◽

Chang-Gun Lee

Keyword(s):

Controller Design ◽

Memory Access ◽

Access Pattern ◽

Mixed Criticality

Download Full-text

Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid

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

10.1007/978-3-030-17910-6_1 ◽

2019 ◽

pp. 3-7

Author(s):

Ichiro Hasuo

Keyword(s):

Static Analysis ◽

Deductive Verification

Download Full-text

An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems

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

10.1007/978-3-030-17910-6_7 ◽

2019 ◽

pp. 83-93 ◽

Cited By ~ 1

Author(s):

Hokeun Kim ◽

Armin Wasicek ◽

Edward A. Lee

Keyword(s):

Computer Architecture ◽

Cyber Physical Systems ◽

Simulation Tool ◽

Physical Systems ◽

Integrated Simulation

Download Full-text

FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization

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

10.1007/978-3-030-17910-6_11 ◽

2019 ◽

pp. 145-158

Author(s):

Chao Wang ◽

Yuming Cheng ◽

Lei Gong ◽

Bo Wan ◽

Aili Wang ◽

...

Keyword(s):

Big Data ◽

Computer Architecture ◽

Accelerator Design

Download Full-text

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems

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

10.1007/978-3-030-17910-6_9 ◽

2019 ◽

pp. 109-126

Author(s):

Kengo Kido ◽

Sean Sedwards ◽

Ichiro Hasuo

Keyword(s):

Switched Systems

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

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

Template-Based Monte-Carlo Test Generation for Simulink Models

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis

Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems

Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid

An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems

FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems

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