Tropical Abstractions of Max-Plus Linear Systems

被引：5

作者：

Mufid, Muhammad Syifa'ul ^{[1
]}

Adzkiya, Dieky ^{[2
]}

Abate, Alessandro ^{[1
]}

机构：

[1] Univ Oxford, Dept Comp Sci, Oxford, England

[2] Inst Teknol Sepuluh Nopember, Dept Math, Surabaya, Indonesia

来源：

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018 | 2018年 / 11022卷

关键词：

MPL system; Tropical algebra; Definite form; Difference-bound matrix; Abstraction; Reachability; REACHABILITY ANALYSIS;

D O I：

10.1007/978-3-030-00151-3_16

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using tropical operations. The idea of tropical abstraction is inspired by the fact that an MPL system is a discrete-event model updating its state with operations in the tropical algebra. The abstract model is a finite-state transition system: we show that the abstract states can be generated by operations on the tropical algebra, and that the generation of transitions can be established by tropical multiplications of matrices. The complexity of the algorithms based on tropical algebra is discussed and their performance is tested on a numerical benchmark against an existing alternative abstraction approach.

引用

页码：271 / 287

页数：17

共 50 条

[1] Reachability for Interval Max-Plus Linear Systems
Wang, Cailu
Tao, Yuegang
Yang, Peng
PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2392 - 2396
[2] Reinforcement Learning for Stochastic Max-Plus Linear Systems
Subramanian, Vignesh
Farhadi, Farzaneh
Soudjani, Sadegh
2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5631 - 5638
[3] Global optimization for max-plus linear systems and applications in distributed systems
Tao, Yuegang
Wang, Cailu
AUTOMATICA, 2020, 119
[4] On the set-estimation of uncertain Max-Plus Linear systems
Espindola-Winck, Guilherme
Hardouin, Laurent
Lhommeau, Mehdi
AUTOMATICA, 2025, 171
[5] Finite Abstractions of Stochastic Max-Plus-Linear Systems
Adzkiya, Dieky
Soudjani, Sadegh Esmaeil Zadeh
Abate, Alessandro
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 74 - 89
[6] Optimal input design for uncertain max-plus linear systems
Wang, Cailu
Tao, Yuegang
Yan, Huaicheng
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2018, 28 (16) : 4816 - 4830
[7] Max-plus linear inverse problems: 2-norm regression and system identification of max-plus linear dynamical systems with Gaussian noise
Hook, James
LINEAR ALGEBRA AND ITS APPLICATIONS, 2019, 579 : 1 - 31
[8] Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
Mufid, Muhammad Syifa'ul
Adzkiya, Dieky
Abate, Alessandro
IFAC PAPERSONLINE, 2020, 53 (04): : 459 - 465
[9] Efficient State-Estimation of Uncertain Max-Plus Linear Systems with High Observation Noise
Espindola-Winck, Guilherme
Candido, Renato Markele Ferreira
Hardouin, Laurent
Lhommeau, Mehdi
IFAC PAPERSONLINE, 2022, 55 (28): : 228 - 235
[10] Analysis and control of max-plus linear discrete-event systems: An introduction
De Schutter, Bart
van den Boom, Ton
Xu, Jia
Farahani, Samira S.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2020, 30 (01): : 25 - 54

← 1 2 3 4 5 →