%0 Journal Article %1 anand2024compositional %A Anand, Mahathi %A Lavaei, Abolfazl %A Zamani, Majid %D 2024 %I Elsevier %J Nonlinear analysis. Hybrid systems %K ubs_10007 ubs_20011 ubs_30113 ubs_40173 unibibliografie wos %P 101427 %R 10.1016/j.nahs.2023.101427 %T Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications %V 51

@article{anand2024compositional, added-at = {2024-02-22T13:48:55.000+0100}, affiliation = {Anand, M (Corresponding Author), Univ Stuttgart, Inst Syst Theory & Automat Control, D-70550 Stuttgart, Germany. Anand, Mahathi; Zamani, Majid, Univ Stuttgart, Inst Syst Theory & Automat Control, D-70550 Stuttgart, Germany. Lavaei, Abolfazl, Newcastle Univ, Sch Comp, Newcastle, England. Zamani, Majid, Univ Colorado Boulder, Comp Sci Dept, Boulder, CO USA.}, author = {Anand, Mahathi and Lavaei, Abolfazl and Zamani, Majid}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2521449e1e9c11522305abd918ac2d84e/unibiblio}, doi = {10.1016/j.nahs.2023.101427}, interhash = {5f08f90bf3218a7d98b95789affb957c}, intrahash = {521449e1e9c11522305abd918ac2d84e}, issn = {{1751-570X} and {1878-7460}}, journal = {Nonlinear analysis. Hybrid systems}, keywords = {ubs_10007 ubs_20011 ubs_30113 ubs_40173 unibibliografie wos}, language = {eng}, pages = 101427, publisher = {Elsevier}, research-areas = {Automation & Control Systems; Mathematics}, timestamp = {2024-02-22T13:48:55.000+0100}, title = {Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications}, unique-id = {WOS:001084427600001}, volume = 51, year = 2024 }