Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

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.

Paulo Carreira is a senior researcher at INESC-ID and senior lecturer of Software Engineering and Database Systems at the CSE Department of IST, University of Lisbon, Portugal. He has served as a scientist in multiple national, EU-funded, and industry-funded projects that applied big data and real-time sensor data processing to cyber-physical systems in the domains of energy management and building automation. Before joining academia, he worked in the industry for 10 years, and was involved in a number of high-visibility data integration projects, both in technical and managerial roles. Paulo is currently also a senior member of the IEEE and the CSO of Sensei, an AI company that turns cameras into sensors to create fully autonomous retail stores. Paulo was a workgroup leader of the MPM4CPS EU COST Action IC1404.

Vasco Amaral is a senior lecturer at the Department of Computer Science, Universidade Nova de Lisboa, Portugal, and a senior researcher of the NOVALINCS research center. Vasco is also senior member of IEEE. His research is primarily focused on model-driven engineering foundations (mostly domain-specific languages, model composition, model transformations and verification) and multi-paradigm modelling for cyber-physical systems. He has done applied research on high-energy physics computing and is currently involved in the topic of building automation projects. Also, he has been involved in the organization of a series of the international summer school on domain-specific modelling theory and practice (DSM-TP). He was vice-chair of the MPM4CPS EU COST Action IC1404.

Hans Vangheluwe is a Professor at the University of Antwerp. He is the head of the Modelling, Simulation and Design Lab (MSDL) that studies the theory of multi-paradigm modelling and builds tools to support the design and implementation of such complex systems. The MSDL is part of the School of Computer Science of McGill University in Montréal,