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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Mufid, MSU, Micheli, A, Abate, A, Cimatti, A
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	Schloss Dagstuhl 2021

Những quyển sách tương tự

Computation of the transient in max-plus linear systems via SMT-solving
Bằng: Abate, A, et al.
Được phát hành: (2020)

Tropical abstractions of max-plus linear systems
Bằng: Mufid, MS, et al.
Được phát hành: (2018)

Abstractions and formal verification of max-plus linear systems
Bằng: Syifaul Mufid, M
Được phát hành: (2021)

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
Bằng: Agnieszka Zbrzezny, et al.
Được phát hành: (2015-12-01)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
Bằng: Laura Pandolfo, et al.
Được phát hành: (2021-01-01)

Modular strategic SMT solving with SMT-RAT
Bằng: Kremer Gereon, et al.
Được phát hành: (2018-08-01)

Stream−based Randomised Language Models for SMT
Bằng: Levenberg, A, et al.
Được phát hành: (2009)

Max-Plus linear stochastic systems and perturbation analysis /
Bằng: 310567 Heidergott, Bernd F.
Được phát hành: (2006)

State geometric adjustability for interval max‐plus linear systems
Bằng: Yingxuan Yin, et al.
Được phát hành: (2024-11-01)

Bi-Objective Optimization for Interval Max-Plus Linear Systems
Bằng: Cailu Wang, et al.
Được phát hành: (2024-02-01)

Sistem linear max-plus waktu-invariant
Bằng: , RUDHITO, M. Andy, et al.
Được phát hành: (2003)

KENDALI MODEL PREDIKTIF UNTUK SISTEM MAX-PLUS-LINEAR
Bằng: , VINA FITRIANA, et al.
Được phát hành: (2013)

Control Problem in Max Plus Linear Model with Temporal Constraints
Bằng: C. Cárdenas, et al.
Được phát hành: (2016-10-01)

Material Replenishment System For SMT Kitting
Bằng: Ong, Xuan Zhi
Được phát hành: (2016)

Material Replenishment System For SMT Kitting
Bằng: Ong, Xuan Zhi
Được phát hành: (2016)

Fungsi transfer untuk sistem linear Max-plus
Bằng: , MARYONO, Paiman, et al.
Được phát hành: (2008)

Max Plus at work : modeling and analysis of synchronized systems : a course on Max-Plus algebra and its applications /
Bằng: 222198 Heidergott, Bernd, et al.
Được phát hành: (2006)

Polynomial and Pseudopolynomial Procedures for Solving Interval Two-Sided (Max, Plus)-Linear Systems
Bằng: Helena Myšková, et al.
Được phát hành: (2021-11-01)

AE solutions to two-sided interval linear systems over max-plus algebra
Bằng: Lihua Wang, et al.
Được phát hành: (2018-10-01)

Simulation of a surface mount technology (SMT) system
Bằng: Tan, Lai Soon.
Được phát hành: (2008)

PROYEKSI PADA ALJABAR MAX-PLUS PROJECTION IN MAX-PLUS ALGEBRA
Bằng: , Musthofa,S.Si, et al.
Được phát hành: (2011)

SMT-Annual Meeting 2011 in Minneapolis
Bằng: Jan Philipp Sprick
Được phát hành: (2011-01-01)

Approximate Model Checking of Stochastic Hybrid Systems
Bằng: Abate, A, et al.
Được phát hành: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
Bằng: Abate, A, et al.
Được phát hành: (2010)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
Bằng: Evi Triana, et al.
Được phát hành: (2010-09-01)

Software Model Checking with Explicit Scheduler and Symbolic Threads
Bằng: Alessandro Cimatti, et al.
Được phát hành: (2012-08-01)

Modular SMT-Based Verification of Rule-Based Hardware Designs
Bằng: Wright, Andrew C.
Được phát hành: (2022)

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Bằng: Silvio Ghilardi, et al.
Được phát hành: (2010-12-01)

Two-level priority scheduling framework in a max-plus linear representation
Bằng: Kyohei Sagawa, et al.
Được phát hành: (2021-06-01)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
Bằng: Antonino, P, et al.
Được phát hành: (2019)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Bằng: MPRC, Pusat Media & Perhubungan Awam
Được phát hành: (2015)

Reasoning with Finite Sets and Cardinality Constraints in SMT
Bằng: Kshitij Bansal, et al.
Được phát hành: (2018-11-01)

Predicting SMT Solver Performance for Software Verification
Bằng: Andrew Healy, et al.
Được phát hành: (2017-01-01)

Importing SMT and Connection proofs as expansion trees
Bằng: Giselle Reis
Được phát hành: (2015-07-01)

SyGuS Techniques in the Core of an SMT Solver
Bằng: Andrew Reynolds, et al.
Được phát hành: (2017-11-01)

Applying SMT Solvers to the Test Template Framework
Bằng: Maximiliano Cristiá, et al.
Được phát hành: (2012-02-01)

SMT defect reduction using DMAIC methodology /
Bằng: L. Thiruvarasu Letchumanan, 1980-, et al.
Được phát hành: (2009)

表面安装技术（SMT）应用简介
Bằng: 汤大伦
Được phát hành: (1994-01-01)

An Approach for Detecting Infeasible Paths Based on a SMT Solver
Bằng: Shujuan Jiang, et al.
Được phát hành: (2019-01-01)

SMT-based verification applied to non-convex optimization problems
Bằng: Araujo, R, et al.
Được phát hành: (2017)