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

Mufid MS, Adzkiya D, Abate A
2022
Journal article
Journal:
IEEE Transactions on Automatic Control
Volume:
67
Issue:
6
,
Institute of Electrical and Electronics Engineers (IEEE)
,
pp.
2700 - 2714
No abstract available
Keywords:

4007 Control Engineering, Mechatronics and Robotics

,

40 Engineering

DOI
10.1109/tac.2021.3090525