ePrints

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications

Lookup NU author(s): Dr Abolfazl Lavaei

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Anand M, Lavaei A, Zamani M

Publication type: Article

Publication status: Published

Journal: Nonlinear Analysis: Hybrid Systems

Year: 2024

Volume: 51

Print publication date: 01/02/2024

Online publication date: 23/09/2023

Acceptance date: 02/09/2023

ISSN (print): 1751-570X

ISSN (electronic): 1878-7460

Publisher: Elsevier Ltd

URL: https://doi.org/10.1016/j.nahs.2023.101427

DOI: 10.1016/j.nahs.2023.101427

Altmetrics

Share