A semantic model for interacting cyber-physical systems
From MaRDI portal
Publication:2079682
DOI10.1016/J.JLAMP.2022.100807OpenAlexW3216696200WikidataQ114159186 ScholiaQ114159186MaRDI QIDQ2079682FDOQ2079682
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)
Full work available at URL: https://arxiv.org/abs/2110.02214
Recommendations
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Universal coalgebra: A theory of systems
- Communicating sequential processes
- Diagnosability of discrete-event systems
- Hybrid I/O automata.
- Defining liveness
- Title not available (Why is that?)
- Abstract behavior types: a foundation model for components and their composition
- A coinductive calculus of component connectors.
- Symbolic reachability computation for families of linear vector fields
- Dynamic networks of heterogeneous timed machines
- Modeling Timed Concurrent Systems
- Nivat's processes and their synchronization
- On the complexity of verification of time-sensitive distributed systems
- Realizing \(\omega\)-regular hyperproperties
- A modular formal semantics for Ptolemy
- Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
- Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
Cited In (1)
Uses Software
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)
