Cover Image

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Show other versions (2)

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Carreira, Paulo (Editor), Amaral, Vasco (Editor), Vangheluwe, Hans (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Subjects:
Software engineering.
Cooperating objects (Computer systems).
Computers, Special purpose.
Application software.
Computer-aided engineering.
Software Engineering.
Cyber-Physical Systems.
Special Purpose and Application-Based Systems.
Computer and Information Systems Applications.
Computer-Aided Engineering (CAD, CAE) and Design.
Online Access:Link to Metadata
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.

Similar Items