A semantic model for interacting cyber-physical systems
From MaRDI portal
Publication:2079682
DOI10.1016/J.JLAMP.2022.100807OpenAlexW3216696200WikidataQ114159186 ScholiaQ114159186MaRDI QIDQ2079682
Benjamin Lion, Farhad Arbab, Carolyn L. 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
Uses Software
Cites Work
- Unnamed Item
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Defining liveness
- Hybrid I/O automata.
- Universal coalgebra: A theory of systems
- Nivat's processes and their synchronization
- Abstract behavior types: a foundation model for components and their composition
- On the complexity of verification of time-sensitive distributed systems
- Realizing \(\omega\)-regular hyperproperties
- A modular formal semantics for Ptolemy
- Communicating sequential processes
- Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
- Dynamic networks of heterogeneous timed machines
- Diagnosability of discrete-event systems
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
- Modeling Timed Concurrent Systems
- Recent Trends in Algebraic Development Techniques
- Symbolic reachability computation for families of linear vector fields
This page was built for publication: A semantic model for interacting cyber-physical systems
