Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems / / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe.
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science o...
Saved in:
| HerausgeberIn: | |
|---|---|
| Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2020. |
| Year of Publication: | 2020 |
| Edition: | 1st ed. 2020. |
| Language: | English |
| Physical Description: | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations
- Bond Graphs: A Unifying Framework for Modelling of Physical Systems
- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems
- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems
- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems
- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems
- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
- AADL: A Language to Specify the Architecture of Cyber-Physical Systems
- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling.