Formal Verification of Stochastic Max-Plus-Linear Systems

DOI10.1109/TAC.2015.2502781MaRDI QIDQ2980331zbMATH OpenFDO

Authors Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate

Publication date 3 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2015.2502781

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(9)

• A max-plus algebra approach to study time disturbance propagation within a robustness improvement context
• Analysis and control of max-plus linear discrete-event systems: an introduction
• Automatic verification of competitive stochastic systems
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Local and global robustness with \(q\)-step delay for max-plus linear systems
• Relatively maximal perturbation bounds for global robustness of max‐plus linear systems
• Approximately global optimal control for max-plus linear systems and its application on load distribution
• SMT-based model checking of max-plus linear systems
• State geometric adjustability for interval max-plus linear systems

This page was built for publication: Formal Verification of Stochastic Max-Plus-Linear Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980331)