Results 41 to 50 of about 948 (156)
The Singular Value Decomposition over Completed Idempotent Semifields
Mathematics, 2020 In this paper, we provide a basic technique for Lattice Computing: an analogue of the Singular Value Decomposition for rectangular matrices over complete idempotent semifields (i-SVD).
Francisco J. Valverde-Albacete +1 more
doaj +1 more source
MAX PLUS ALGEBRA OF TIMED PETRI NET FOR MODELLING SINGLE SERVER QUEUING SYSTEMS
Barekeng, 2023 This research modified a single server queuing system using timed Petri net. We add two places, a transition and its appropriate arcs. This research also considered all the holding times in the timed Petri net.
Zumrotus Sya'diyah
doaj +1 more source
An Overview of Transience Bounds in Max-Plus Algebra
CoRR, 2014 We survey and discuss upper bounds on the length of the transient phase of max-plus linear systems and sequences of max-plus matrix powers. In particular, we explain how to extend a result by Nachtigall to yield a new approach for proving such bounds and we state an asymptotic tightness result by using an example given by Hartmann and Arguelles.
Nowak, Thomas, Charron-Bost, Bernadette
openaire +3 more sources
Determining the Inverse of a Matrix over Min-Plus Algebra
JTAM (Jurnal Teori dan Aplikasi Matematika)Linear algebra over the semiring R_ε with ⊗ (plus) and ⨁ (maximum) operations which is known as max-plus algebra. One of the isomorphic with this algebra is a min-plus algebra.
Siswanto Siswanto, Anggrina Gusmizain
doaj +1 more source
An Algebra of Synchronous Scheduling Interfaces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we propose an algebra of synchronous scheduling interfaces which combines the expressiveness of Boolean algebra for logical and functional behaviour with the min-max-plus arithmetic for quantifying the non-functional aspects of synchronous ...
Michael Mendler
doaj +1 more source
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source
Conflict-free trajectory planning based on the model predictive control theory [PDF]
Archives of Transport, 2016 Model Predictive Control (MPC) is a model-based control method based on a receding horizon approach and online optimization. A key advantage of MPC is that it can accommodate constraints on the inputs and outputs.
Han Yun-xiang, Huang Xiao-qiong
doaj +1 more source
Nancy: An efficient parallel Network Calculus library
SoftwareX, 2022 This paper describes Nancy, a Network Calculus (NC) library that allows users to perform complex min-plus and max-plus algebra operations efficiently. To the best of our knowledge, Nancy is the only open-source library that implements operations working ...
Raffaele Zippo, Giovanni Stea
doaj +1 more source
Algebraic Solution of Tropical Best Approximation Problems
Mathematics, 2023 We introduce new discrete best approximation problems, formulated and solved in the framework of tropical algebra, which deals with semirings and semifields with idempotent addition.
Nikolai Krivulin
doaj +1 more source
Max-Plus Algebraic Statistical Leverage Scores
SIAM Journal on Matrix Analysis and Applications, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources