SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems

DOI10.1109/TAC.2021.3090525MaRDI QIDQ5092176zbMATH OpenOpenAlexFDO

Authors Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Publication date 28 July 2022

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

Full work available at URL https://doi.org/10.1109/tac.2021.3090525

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(2)

• SMT-based model checking of max-plus linear systems
• SMT-based and fixed-point approaches for state estimation in max-plus linear systems

This page was built for publication: SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems

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