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

Detaylı Bibliyografya
Asıl Yazarlar:	Mufid, MSU, Micheli, A, Abate, A, Cimatti, A
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Schloss Dagstuhl 2021

Benzer Materyaller

Computation of the transient in max-plus linear systems via SMT-solving
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tropical abstractions of max-plus linear systems
Yazar:: Mufid, MS, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Abstractions and formal verification of max-plus linear systems
Yazar:: Syifaul Mufid, M
Baskı/Yayın Bilgisi: (2021)

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
Yazar:: Agnieszka Zbrzezny, ve diğerleri
Baskı/Yayın Bilgisi: (2015-12-01)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
Yazar:: Laura Pandolfo, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Modular strategic SMT solving with SMT-RAT
Yazar:: Kremer Gereon, ve diğerleri
Baskı/Yayın Bilgisi: (2018-08-01)

Stream−based Randomised Language Models for SMT
Yazar:: Levenberg, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Max-Plus linear stochastic systems and perturbation analysis /
Yazar:: 310567 Heidergott, Bernd F.
Baskı/Yayın Bilgisi: (2006)

State geometric adjustability for interval max‐plus linear systems
Yazar:: Yingxuan Yin, ve diğerleri
Baskı/Yayın Bilgisi: (2024-11-01)

Bi-Objective Optimization for Interval Max-Plus Linear Systems
Yazar:: Cailu Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Sistem linear max-plus waktu-invariant
Yazar:: , RUDHITO, M. Andy, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

KENDALI MODEL PREDIKTIF UNTUK SISTEM MAX-PLUS-LINEAR
Yazar:: , VINA FITRIANA, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Control Problem in Max Plus Linear Model with Temporal Constraints
Yazar:: C. Cárdenas, ve diğerleri
Baskı/Yayın Bilgisi: (2016-10-01)

Material Replenishment System For SMT Kitting
Yazar:: Ong, Xuan Zhi
Baskı/Yayın Bilgisi: (2016)

Material Replenishment System For SMT Kitting
Yazar:: Ong, Xuan Zhi
Baskı/Yayın Bilgisi: (2016)

Fungsi transfer untuk sistem linear Max-plus
Yazar:: , MARYONO, Paiman, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Max Plus at work : modeling and analysis of synchronized systems : a course on Max-Plus algebra and its applications /
Yazar:: 222198 Heidergott, Bernd, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Polynomial and Pseudopolynomial Procedures for Solving Interval Two-Sided (Max, Plus)-Linear Systems
Yazar:: Helena Myšková, ve diğerleri
Baskı/Yayın Bilgisi: (2021-11-01)

AE solutions to two-sided interval linear systems over max-plus algebra
Yazar:: Lihua Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Simulation of a surface mount technology (SMT) system
Yazar:: Tan, Lai Soon.
Baskı/Yayın Bilgisi: (2008)

PROYEKSI PADA ALJABAR MAX-PLUS PROJECTION IN MAX-PLUS ALGEBRA
Yazar:: , Musthofa,S.Si, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

SMT-Annual Meeting 2011 in Minneapolis
Yazar:: Jan Philipp Sprick
Baskı/Yayın Bilgisi: (2011-01-01)

Approximate Model Checking of Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
Yazar:: Evi Triana, ve diğerleri
Baskı/Yayın Bilgisi: (2010-09-01)

Software Model Checking with Explicit Scheduler and Symbolic Threads
Yazar:: Alessandro Cimatti, ve diğerleri
Baskı/Yayın Bilgisi: (2012-08-01)

Modular SMT-Based Verification of Rule-Based Hardware Designs
Yazar:: Wright, Andrew C.
Baskı/Yayın Bilgisi: (2022)

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Yazar:: Silvio Ghilardi, ve diğerleri
Baskı/Yayın Bilgisi: (2010-12-01)

Two-level priority scheduling framework in a max-plus linear representation
Yazar:: Kyohei Sagawa, ve diğerleri
Baskı/Yayın Bilgisi: (2021-06-01)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
Yazar:: Antonino, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Yazar:: MPRC, Pusat Media & Perhubungan Awam
Baskı/Yayın Bilgisi: (2015)

Reasoning with Finite Sets and Cardinality Constraints in SMT
Yazar:: Kshitij Bansal, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Predicting SMT Solver Performance for Software Verification
Yazar:: Andrew Healy, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Importing SMT and Connection proofs as expansion trees
Yazar:: Giselle Reis
Baskı/Yayın Bilgisi: (2015-07-01)

SyGuS Techniques in the Core of an SMT Solver
Yazar:: Andrew Reynolds, ve diğerleri
Baskı/Yayın Bilgisi: (2017-11-01)

Applying SMT Solvers to the Test Template Framework
Yazar:: Maximiliano Cristiá, ve diğerleri
Baskı/Yayın Bilgisi: (2012-02-01)

SMT defect reduction using DMAIC methodology /
Yazar:: L. Thiruvarasu Letchumanan, 1980-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

表面安装技术（SMT）应用简介
Yazar:: 汤大伦
Baskı/Yayın Bilgisi: (1994-01-01)

An Approach for Detecting Infeasible Paths Based on a SMT Solver
Yazar:: Shujuan Jiang, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

SMT-based verification applied to non-convex optimization problems
Yazar:: Araujo, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)