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

DOI10.1007/11901914_33zbMath1161.68321OpenAlexW1538451099MaRDI QIDQ3522927

Yu-Chu Tian, Colin J. 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) Control/observation systems involving computers (process control, etc.) (93C83) Network protocols (68M12)

Related Items

Dealing with network complexity in real-time networked control ⋮ Compensation for control packet dropout in networked control systems

Uses Software

• Uppaal
• ReachLab