Formal Verification of Stochastic Max-Plus-Linear Systems

DOI10.1109/TAC.2015.2502781zbMATH Open1359.68188MaRDI QIDQ2980331FDOQ2980331

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)

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 (8)

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