Cyber Physical Systems
Cyber Physical Systems

Publications

天发娱乐棋牌_天发娱乐APP-官网|下载 projects have an impact in many different industries. Browse our publications to find out more
Towards scalable modeling of biology in Event-B
Usman Sanwal, Thai Son Hoang, Luigia Petre & Ion Petre, 2021
DOI: 10.48550/arXiv.2105.10344
Type: other
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions
Chenyang Zhu, Michael Butler, Corina Cirstea & Thai Son Hoang, 2021
Type: conference
Exploring performance enhancement of event-driven processor networks
Tim Todman, David Thomas & Wayne Luk, 2021
DOI: 10.1109/ICFPT51103.2020.00056
Type: conference
An STPA-based formal composition framework for trustworthy autonomous maritime systems
Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes & Ben Pritchard, 2021, Safety Science, 136(0925-7535)
DOI: 10.1016/j.ssci.2020.105139
Type: article
Discrete‐time systems with slope restricted nonlinearities: Zames–Falb multiplier analysis using external positivity
Matthew C. Turner & Ross Drummond, 2021, International Journal of Robust and Nonlinear Control, 31(6), 2255-2273
DOI: 10.1002/rnc.5391
Type: article