compositional synthesis
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 2)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Automatica ◽

10.1016/j.automatica.2021.109745 ◽

2021 ◽

Vol 131 ◽

pp. 109745

Author(s):

Siyuan Liu ◽

Majid Zamani

Keyword(s):

Interconnected Systems ◽

Compositional Synthesis

Compositional Synthesis of Modular Systems

10.1007/978-3-030-88885-5_20 ◽

2021 ◽

pp. 303-319

Author(s):

Bernd Finkbeiner ◽

Noemi Passing

Keyword(s):

Modular Systems ◽

Compositional Synthesis

Compositional synthesis via a convex parameterization of assume-guarantee contracts

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382212 ◽

2020 ◽

Author(s):

Kasra Ghasemi ◽

Sadra Sadraddini ◽

Calin Belta

Keyword(s):

Compositional Synthesis

Compositional Synthesis of Symbolic Models for Infinite Networks

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2020.12.2356 ◽

2020 ◽

Vol 53 (2) ◽

pp. 1868-1873

Author(s):

Abdalla Swikir ◽

Navid Noroozi ◽

Majid Zamani

Keyword(s):

Infinite Networks ◽

Compositional Synthesis

Dependency-Based Compositional Synthesis

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_25 ◽

2020 ◽

pp. 447-463

Author(s):

Bernd Finkbeiner ◽

Noemi Passing

Keyword(s):

Compositional Synthesis

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems

2019 IEEE 58th Conference on Decision and Control (CDC) ◽

10.1109/cdc40024.2019.9028887 ◽

2019 ◽

Author(s):

Kasra Ghasemi ◽

Sadra Sadraddini ◽

Calin Belta

Keyword(s):

Linear Systems ◽

Large Scale ◽

Set Invariance ◽

Compositional Synthesis

Compositional Synthesis of Symbolic Models for Networks of Switched Systems

IEEE Control Systems Letters ◽

10.1109/lcsys.2019.2920766 ◽

2019 ◽

Vol 3 (4) ◽

pp. 1056-1061 ◽

Cited By ~ 4

Author(s):

Abdalla Swikir ◽

Majid Zamani

Keyword(s):

Switched Systems ◽

Compositional Synthesis

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach

Automatica ◽

10.1016/j.automatica.2019.06.021 ◽

2019 ◽

Vol 107 ◽

pp. 551-561 ◽

Cited By ~ 5

Author(s):

Abdalla Swikir ◽

Majid Zamani

Keyword(s):

Small Gain ◽

Compositional Synthesis

Compositional synthesis of almost maximally permissible safety controllers

2019 American Control Conference (ACC) ◽

10.23919/acc.2019.8815361 ◽

2019 ◽

Author(s):

Siyuan Liu ◽

Majid Zamani

Keyword(s):

Compositional Synthesis

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions

2019 18th European Control Conference (ECC) ◽

10.23919/ecc.2019.8795996 ◽

2019 ◽

Cited By ~ 3

Author(s):

Abolfazl Lavaei ◽

Sadegh Soudjani ◽

Majid Zamani

Keyword(s):

Stochastic Systems ◽

Compositional Synthesis

compositional synthesisRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Compositional Synthesis of Modular Systems

Compositional synthesis via a convex parameterization of assume-guarantee contracts

Compositional Synthesis of Symbolic Models for Infinite Networks

Dependency-Based Compositional Synthesis

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems

Compositional Synthesis of Symbolic Models for Networks of Switched Systems

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach

Compositional synthesis of almost maximally permissible safety controllers

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions

compositional synthesis
Recently Published Documents