Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Saoud, Adnane, Pushpak Jagtap, Majid Zamani, and Antoine Girard

Journal title: IEEE Transactions on Control of Network Systems

Journal publisher: IEEE CONTROL SYSTEMS SOCIETY

Published year: 2020

DOI identifier: 10.1109/tcns.2021.3050123

ISSN: 2325-5870