Functional Analysis of a Real-Time Protocol for Networked Control Systems

DOI10.1007/11901914_33MaRDI QIDQ3522927zbMATH OpenOpenAlexFDO

Authors Yu-Chu Tian, Colin Fidge

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://eprints.qut.edu.au/5404/1/5404.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Network protocols (68M12) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Dealing with network complexity in real-time networked control
• Real-time control systems: feedback, scheduling and robustness
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
• Analysis and synthesis of networked control systems
• Stability and time delay tolerance analysis approach for networked control systems

Cited in

(7)

• scientific article; zbMATH DE number 1706346 (Why is no real title available?)
• Design and FPGA verification of a novel reliable real-time data transfer system
• Dealing with network complexity in real-time networked control
• Compensation for control packet dropout in networked control systems
• Hard real-time communication with the timed token protocol: Current state and challenging problems
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
• Case study on rate-based traffic control of industrial networks employing LonWorks

Describes a project that uses

Uses Software

• Uppaal
• ReachLab

This page was built for publication: Functional Analysis of a Real-Time Protocol for Networked Control Systems

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