19 citations · 20 across the 4 of their papers we have counts for
5 papers
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…
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…
Tropical Abstractions of Max-Plus-Linear Systems
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using tropical operations. The idea of tropical abstraction is inspired by the fact tha…
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…
Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata
Dieky Adzkiya, Manuel Mazo
We discuss the scheduling of a set of networked control systems implemented over a shared communication network. Each control loop is described by a linear-time-invariant (LTI) sys…