Compositional cyber-physical systems modeling

MaRDI QIDQ5019667zbMATH OpenFDO

Authors Georgios Bakirtzis, Christina Vasilakopoulou, C. H. Fleming

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10484, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.9

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Algebraic methods (93B25) Time-scale analysis and singular perturbations in control/observation systems (93C70)

Recommendations

• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• Heterogeneous verification of cyber-physical systems using behavior relations
• Compositional heterogeneous abstraction
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Towards a modeling language for cyber-physical systems

Cites work

• A categorical manifesto
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• An Invitation to Applied Category Theory
• Dynamical systems and sheaves
• scientific article; zbMATH DE number 7453976 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems

Cited in

(6)

• Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow
• Compositional falsification of cyber-physical systems with machine learning components
• Heterogeneous verification of cyber-physical systems using behavior relations
• Compositional heterogeneous abstraction
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• Operads for complex system design specification, analysis and synthesis

This page was built for publication: Compositional cyber-physical systems modeling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019667)