Computation of the transient in max-plus linear systems via SMT-solving

Computation of the transient in max-plus linear systems via SMT-solving

This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art techniques, our approach allows the analysis of periodic behav...

Полное описание

Библиографические подробности
Главные авторы:	Abate, A, Cimatti, A, Micheli, A, Mufid, MS
Формат:	Conference item
Язык:	English
Опубликовано:	Springer Nature 2020

Схожие документы

SMT-based model checking of max-plus linear systems
по: Mufid, MSU, и др.
Опубликовано: (2021)

Tropical abstractions of max-plus linear systems
по: Mufid, MS, и др.
Опубликовано: (2018)

Abstractions and formal verification of max-plus linear systems
по: Syifaul Mufid, M
Опубликовано: (2021)

Modular strategic SMT solving with SMT-RAT
по: Kremer Gereon, и др.
Опубликовано: (2018-08-01)

Polynomial and Pseudopolynomial Procedures for Solving Interval Two-Sided (Max, Plus)-Linear Systems
по: Helena Myšková, и др.
Опубликовано: (2021-11-01)

Sistem linear max-plus waktu-invariant
по: , RUDHITO, M. Andy, и др.
Опубликовано: (2003)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
по: Antonino, P, и др.
Опубликовано: (2019)

SMT Solving for Functional Programming over Infinite Structures
по: Bartek Klin, и др.
Опубликовано: (2016-04-01)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
по: A. Niewiadomski, и др.
Опубликовано: (2018-12-01)

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
по: Silvio Ghilardi, и др.
Опубликовано: (2010-12-01)

Max-Plus linear stochastic systems and perturbation analysis /
по: 310567 Heidergott, Bernd F.
Опубликовано: (2006)

State geometric adjustability for interval max‐plus linear systems
по: Yingxuan Yin, и др.
Опубликовано: (2024-11-01)

Bi-Objective Optimization for Interval Max-Plus Linear Systems
по: Cailu Wang, и др.
Опубликовано: (2024-02-01)

Material Replenishment System For SMT Kitting
по: Ong, Xuan Zhi
Опубликовано: (2016)

Material Replenishment System For SMT Kitting
по: Ong, Xuan Zhi
Опубликовано: (2016)

Fungsi transfer untuk sistem linear Max-plus
по: , MARYONO, Paiman, и др.
Опубликовано: (2008)

Solving Sparse Random Instances of Max Cut and Max 2-CSP in Linear Expected Time
по: Scott, A, и др.
Опубликовано: (2006)

KENDALI MODEL PREDIKTIF UNTUK SISTEM MAX-PLUS-LINEAR
по: , VINA FITRIANA, и др.
Опубликовано: (2013)

Control Problem in Max Plus Linear Model with Temporal Constraints
по: C. Cárdenas, и др.
Опубликовано: (2016-10-01)

Stream−based Randomised Language Models for SMT
по: Levenberg, A, и др.
Опубликовано: (2009)

AE solutions to two-sided interval linear systems over max-plus algebra
по: Lihua Wang, и др.
Опубликовано: (2018-10-01)

Simulation of a surface mount technology (SMT) system
по: Tan, Lai Soon.
Опубликовано: (2008)

PROYEKSI PADA ALJABAR MAX-PLUS PROJECTION IN MAX-PLUS ALGEBRA
по: , Musthofa,S.Si, и др.
Опубликовано: (2011)

SMT-Annual Meeting 2011 in Minneapolis
по: Jan Philipp Sprick
Опубликовано: (2011-01-01)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
по: Evi Triana, и др.
Опубликовано: (2010-09-01)

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
по: Agnieszka Zbrzezny, и др.
Опубликовано: (2015-12-01)

Two-level priority scheduling framework in a max-plus linear representation
по: Kyohei Sagawa, и др.
Опубликовано: (2021-06-01)

Max Plus at work : modeling and analysis of synchronized systems : a course on Max-Plus algebra and its applications /
по: 222198 Heidergott, Bernd, и др.
Опубликовано: (2006)

SMT defect reduction using DMAIC methodology /
по: L. Thiruvarasu Letchumanan, 1980-, и др.
Опубликовано: (2009)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
по: MPRC, Pusat Media & Perhubungan Awam
Опубликовано: (2015)

Reasoning with Finite Sets and Cardinality Constraints in SMT
по: Kshitij Bansal, и др.
Опубликовано: (2018-11-01)

表面安装技术（SMT）应用简介
по: 汤大伦
Опубликовано: (1994-01-01)

Predicting SMT Solver Performance for Software Verification
по: Andrew Healy, и др.
Опубликовано: (2017-01-01)

Importing SMT and Connection proofs as expansion trees
по: Giselle Reis
Опубликовано: (2015-07-01)

SyGuS Techniques in the Core of an SMT Solver
по: Andrew Reynolds, и др.
Опубликовано: (2017-11-01)

Applying SMT Solvers to the Test Template Framework
по: Maximiliano Cristiá, и др.
Опубликовано: (2012-02-01)

<it>In vitro</it> characterisation of Spontaneous Mammary Tumour (SMT1) cells and its matched lung metastatic (SMT1L) cells
по: Wong TC, и др.
Опубликовано: (2012-07-01)

On hyperspaces of max-plus and max-min convex sets
по: Bazylevych Lidiya, и др.
Опубликовано: (2017-01-01)

Numerical computations in solving linear system of equations /
по: Aqilahfarhana Abdul Rahman, 1992- author, и др.
Опубликовано: (2015)

Solving the Max-Flow Problem on a Quantum Annealing Computer
по: Thomas Krauss, и др.
Опубликовано: (2020-01-01)