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]

Authors

Behrad Samari

This author has not been identified. Look up 'Behrad Samari' in Google

Matteo Della Rossa

This author has not been identified. Look up 'Matteo Della Rossa' in Google

Abolfazl Lavaei

This author has not been identified. Look up 'Abolfazl Lavaei' in Google

Sadegh Soudjani

This author has not been identified. Look up 'Sadegh Soudjani' in Google

Raphaël M. Jungers

This author has not been identified. Look up 'Raphaël M. Jungers' in Google