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] Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
Mufid, Muhammad Syifa'ul
Adzkiya, Dieky
Abate, Alessandro
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 142 - 159
[2] Max-plus algebra and max-plus linear discrete event systems: An introduction
De Schutter, Bart
van den Boom, Ton
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 36 - 42
[3] On the eigenstructure of a class of max-plus linear systems
Lopes, G. A. D.
Kersbergen, B.
van den Boom, T.
De Schutter, B.
Babuska, R.
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 1823 - 1828
[4] 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
[5] Comparison and aggregation of max-plus linear systems
Ledoux, J
Truffet, L
LINEAR ALGEBRA AND ITS APPLICATIONS, 2004, 378 : 245 - 272
[6] Interval max-plus systems of linear equations
Myskova, Helena
LINEAR ALGEBRA AND ITS APPLICATIONS, 2012, 437 (08) : 1992 - 2000
[7] Global robustness for max-plus linear systems
Wang, Cailu
Tao, Yuegang
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2017, 48 (15) : 3225 - 3232
[8] Solving max-plus linear systems by level sparsification
Nishida, Yuki
SIAM CONFERENCE ON APPLIED AND COMPUTATIONAL DISCRETE ALGORITHMS, ACDA23, 2023, : 159 - 168
[9] ON SPARSITY OF APPROXIMATE SOLUTIONS TO MAX-PLUS LINEAR SYSTEMS
Li, Pingke
KYBERNETIKA, 2024, 60 (03) : 425 - 425
[10] Structural Controllability of Switching Max-Plus Linear Systems
Gupta, Abhimanyu
van den Boom, Ton
van der Woude, Jacob
De Schutter, Bart
IFAC PAPERSONLINE, 2020, 53 (02): : 1936 - 1942

← 1 2 3 4 5 →