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: Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard

Journal title: IEEE Transactions on Control of Network Systems

Journal number: 2/8

Journal publisher: IEEE CONTROL SYSTEMS SOCIETY

Published year: 2021

Published pages: 702-712

DOI identifier: 10.1109/tcns.2021.3050123

ISSN: 2325-5870