A semantic model for interacting cyber-physical systems

DOI10.1016/J.JLAMP.2022.100807MaRDI QIDQ2079682zbMATH OpenOpenAlexWikidataFDO

Authors Benjamin Lion, Farhad Arbab, Carolyn Talcott

Publication date 30 September 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2110.02214

zbMATH Keywords

algebracompositioninteractioncomponentscyber-physical

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A semantic model for interacting cyber-physical systems
• Towards a modeling language for cyber-physical systems
• A formal model for a hybrid programming language
• A calculus of cyber-physical systems
• A formal framework for distributed cyber-physical systems

Cites work

• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• A coinductive calculus of component connectors.
• A modular formal semantics for Ptolemy
• Abstract behavior types: a foundation model for components and their composition
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Communicating sequential processes
• Defining liveness
• Diagnosability of discrete-event systems
• Dynamic networks of heterogeneous timed machines
• Hybrid I/O automata.
• Modeling Timed Concurrent Systems
• Nivat's processes and their synchronization
• On the complexity of verification of time-sensitive distributed systems
• Realizing \(\omega\)-regular hyperproperties
• Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
• Symbolic reachability computation for families of linear vector fields
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• Universal coalgebra: A theory of systems

Cited in

(2)

• A semantic model for interacting cyber-physical systems
• A formal framework for distributed cyber-physical systems

Describes a project that uses

Uses Software

• StateFlow
• Maude
• Ptolemy

This page was built for publication: A semantic model for interacting cyber-physical systems

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