Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems

DOI10.1515/9783110448436-003MaRDI QIDQ4602215zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 9 January 2018

Published in Systems, Analysis and Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9783110448436-003

zbMATH Keywords

analysismodel checkingnetworked automaton systemsreal-time requirementsstimulation

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Application models in control theory (93C95)

Recommendations

• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• Formal analysis of the time behaviour of network-based automation systems.
• Graph process specifications for hybrid networked systems

Cited in

(3)

• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• Formal analysis of the time behaviour of network-based automation systems.

This page was built for publication: Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems

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