Certified Closed-Loop Control for Packet Networks: A Compositional Certification Framework

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bilal, Muhammad, Crowcroft, Jon, Xu, Xiaolong, Wu, Huaming
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Networking and Internet Architecture Systems and Control 93D15, 93D20, 90B22, 68M20 C.2.1; C.2.3; C.4; G.1.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2606.02368