Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphaƫl M. Jungers. Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. In Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani 0001, editors, 8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024. Volume 58 of IFAC-PapersOnLine, pages 63-68, Elsevier, 2024. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.