"Plug-and-Play Distributed Safety Verification for Linear Control Systems ..."

Andrea Carron, Kim Peter Wabersich, Melanie N. Zeilinger (2021)

Details and statistics

DOI: 10.1109/TCNS.2021.3074218

access: closed

type: Journal Article

metadata version: 2021-10-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics