Heterogeneous and asynchronous networks of timed systems

DOI10.1016/J.TCS.2016.12.014MaRDI QIDQ505453zbMATH OpenOpenAlexFDO

Authors Antónia Lopes, José Fiadeiro

Publication date 23 January 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2016.12.014

zbMATH Keywords

asynchronous process networkscomponent algebraheterogeneous timeorchestrationtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dynamic networks of heterogeneous timed machines
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 4055012
• Dynamic networks of timed Petri nets
• Closed, open, and robust timed networks
• Combined task- and network-level scheduling for distributed time-triggered systems
• Asynchronous networks and event driven dynamics

Cites work

• A timeband framework for modelling real-time systems
• An interface theory for service-oriented design
• Expressive completeness for metric temporal logic
• Heterogeneous timed machines
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• On Communicating Finite-State Machines
• On the Expressiveness of MTL Variants over Dense Time
• Recognizing safety and liveness
• Some Recent Results in Metric Temporal Logic
• Sooner is safer than later
• The benefits of relaxing punctuality
• The existence of refinement mappings
• Timed I/O automata: a complete specification theory for real-time systems
• Timed-pNets: a communication behavioural semantic model for distributed systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(8)

• Asynchronous threshold networks
• Static analysis of real-time component-based systems configurations
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Heterogeneous timed machines
• scientific article; zbMATH DE number 7020152 (Why is no real title available?)
• Dynamic networks of heterogeneous timed machines
• scientific article; zbMATH DE number 975327 (Why is no real title available?)
• Runtime composition of systems of interacting cyber-physical components

This page was built for publication: Heterogeneous and asynchronous networks of timed systems

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