Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 9)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030439453, 9783030439460

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_3 ◽

2020 ◽

pp. 45-96

Author(s):

Peter Fritzson

Keyword(s):

Object Oriented ◽

Physical Systems ◽

Object Oriented Modelling

Download Full-text

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_8 ◽

2020 ◽

pp. 209-258 ◽

Author(s):

Dominique Blouin ◽

Etienne Borde

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_9 ◽

2020 ◽

pp. 259-271

Author(s):

Moharram Challenger ◽

Ken Vanherpen ◽

Joachim Denil ◽

Hans Vangheluwe

Download Full-text

DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_5 ◽

2020 ◽

pp. 127-153

Author(s):

Yentl Van Tendeloo ◽

Hans Vangheluwe

Keyword(s):

Performance Analysis ◽

Discrete Event ◽

Constrained Systems ◽

Modelling And Simulation ◽

Resource Constrained

Download Full-text

Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_4 ◽

2020 ◽

pp. 97-125

Author(s):

Cláudio Gomes ◽

Joachim Denil ◽

Hans Vangheluwe

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Causal Modelling

Download Full-text

Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_6 ◽

2020 ◽

pp. 155-176

Author(s):

Simon Van Mierlo ◽

Hans Vangheluwe

Keyword(s):

Download Full-text

Bond Graphs: A Unifying Framework for Modelling of Physical Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_2 ◽

2020 ◽

pp. 15-44

Author(s):

Jan F. Broenink

Keyword(s):

Bond Graphs ◽

Physical Systems

Download Full-text

Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_7 ◽

2020 ◽

pp. 177-208

Author(s):

Didier Buchs ◽

Stefan Klikovits ◽

Alban Linard

Keyword(s):

Formal Language ◽

Download Full-text

Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ◽

10.1007/978-3-030-43946-0_1 ◽

2020 ◽

pp. 1-14

Author(s):

Paulo Carreira ◽

Vasco Amaral ◽

Hans Vangheluwe

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text