SMT-based model checking of max-plus linear systems

SMT-based model checking of max-plus linear systems

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. MPL systems can be naturally modeled as infinite-state transition systems, and exhibit interesting structural properties (e.g. periodicity or steady...

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

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

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

Computation of the transient in max-plus linear systems via SMT-solving
по: Abate, A, и др.
Опубликовано: (2020)

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

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

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

SMT-Based Consistency Checking of Configuration-Based Components Specifications
по: Laura Pandolfo, и др.
Опубликовано: (2021-01-01)

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

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

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)

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

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)

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)

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

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

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)

Approximate Model Checking of Stochastic Hybrid Systems
по: Abate, A, и др.
Опубликовано: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
по: Abate, A, и др.
Опубликовано: (2010)

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

Software Model Checking with Explicit Scheduler and Symbolic Threads
по: Alessandro Cimatti, и др.
Опубликовано: (2012-08-01)

Modular SMT-Based Verification of Rule-Based Hardware Designs
по: Wright, Andrew C.
Опубликовано: (2022)

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

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

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

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)

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)

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

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

An Approach for Detecting Infeasible Paths Based on a SMT Solver
по: Shujuan Jiang, и др.
Опубликовано: (2019-01-01)

SMT-based verification applied to non-convex optimization problems
по: Araujo, R, и др.
Опубликовано: (2017)