3 papers
cs.LO2020
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a class of continuous-space, discrete-event models defined over the max-plus algebra. Given the…
cs.LO2019
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
This paper introduces the abstraction of max-plus linear (MPL) systems via predicates. Predicates are automatically selected from system matrix, as well as from the specifications…
nlin.PS2018
Snakes and ghosts in a parity-time-symmetric chain of dimers
H. Susanto, R. Kusdiantara, N. Li +4
We consider linearly coupled discrete nonlinear Schrödinger equations with gain and loss terms and with a cubic-quintic nonlinearity. The system models a parity-time ()-s…